/* demonstration of a program with no assertions */ #include #include int isqrt(int i); int main()//unit tests for isqrt { assert(isqrt(0)==0); assert(isqrt(1)==1); assert(isqrt(2)==1); assert(isqrt(3)==1); assert(isqrt(4)==2); for ( int i = 0; i<30; i++) { int n = isqrt(i); assert( (n*n <= i) && (i <(n+1)*(n+1))); } } int isqrt(int i) { int n;// will become n where (n*n <= i) && (i <(n+1)*(n+1)) n=0; int s = 1; int odd = 1; while( !(i