3 int test_I_lognot (int iterations)
7 // Check involution, sign, and against "+".
8 for (i = iterations; i > 0; i--) {
9 cl_I a = testrandom_I();
11 ASSERT1(lognot(b) == a, a);
12 ASSERT1(minusp(a) != minusp(b), a);
13 ASSERT1(a+b == -1, a);
15 // Check special cases 0 and -1.
16 ASSERT(lognot(0) == -1);