val1              144 user/uw-testbin/lib/testutils.c test_not_equal(int val1, int val2, const char *str,
val1              152 user/uw-testbin/lib/testutils.c   if (val1 == val2) {
val1              160 user/uw-testbin/lib/testutils.c       out, test_num, val1, val2);