/*
* Tests
*/
static void all_udiv_tests(void) {
printf("\n"
"******************\n"
"* BVUDIV TESTS *\n"
"******************\n\n");
init();
truth_table_test4(test_udiv_const);
base_test4(test_udiv);
random_tests4(100, test_udiv);
cleanup();
}
static void all_smod_tests(void) {
printf("\n"
"******************\n"
"* BVSMOD TESTS *\n"
"******************\n\n");
init();
truth_table_test4(test_smod_const);
base_test4(test_smod);
random_tests4(100, test_smod);
cleanup();
}
/*
* Tests
*/
static void all_bvneg_tests(void) {
printf("\n"
"*****************\n"
"* BVNEG TESTS *\n"
"*****************\n\n");
init();
truth_table_test4(test_bvneg_const);
base_test4(test_bvneg);
random_tests4(100, test_bvneg);
cleanup();
}