@@ -79,6 +79,7 @@ extern size_t strlen(const char *);
abort(); \
} \
} \
+ fprintf(stderr, "CHECKED %s\n", MSG); \
}
/* Floating-point variant. */
@@ -107,6 +108,7 @@ extern size_t strlen(const char *);
abort(); \
} \
} \
+ fprintf(stderr, "CHECKED %s\n", MSG); \
}
/* Clean buffer with a non-zero pattern to help diagnose buffer
@@ -323,6 +325,7 @@ extern int VECT_VAR(expected_cumulative_sat, uint, 64, 2);
strlen(COMMENT) > 0 ? " " COMMENT : ""); \
abort(); \
} \
+ fprintf(stderr, "CHECKED CUMULATIVE SAT %s\n", MSG); \
}
#define CHECK_CUMULATIVE_SAT_NAMED(test_name,EXPECTED,comment) \