static int test_all(void) { ut_run(test_symstringInsert); ut_run(test_symstringDelete); ut_run(test_symstringSubstitute); ut_run(test_substitutionSubstitute); ut_run(test_substitutionApply); return 0; }
static int all(void) { ut_run(test_test1); // ut_run(test_big_unifier); // ut_run(test_big_unifier_comp); ut_run(test_recursive_include); ut_run(test_symbol_import); ut_run(test_bugged_1); // ut_run(test_demo0); // ut_run(test_miu); // ut_run(test_hol); return 0; }
int main(int argc, char *argv[]) { int ret; char buf[1024] = { 0 }; struct ut_suite *suite = &p_box3x3_f32_suite; ret = ut_run(suite); ut_report(buf, ARRAY_SIZE(buf), suite, true); #ifdef __epiphany__ memcpy((void *) epiphany_results, buf, sizeof(buf)); epiphany_status->returncode = ret; epiphany_status->done = 1; #else printf("%s", buf); #endif #if 0 p = test_out; for ( i = 0; i < ROWS - 2; i++ ) { for ( j = 0; j < COLS - 2; j++ ) { printf("%f\t", *p++); } printf("\n"); } #endif return ret; }
int main(int argc, char *argv[]) { int ret; char buf[1024] = { 0 }; struct ut_suite *suite; parse_options_or_die(argc, argv); if (gold_file) read_gold_file_or_die(argv[0]); if (generate_gold_flag) { suite = &PRINT_GOLD_SUITE; } else { suite = &FUNCTION_SUITE; } ret = ut_run(suite); ut_report(buf, ARRAY_SIZE(buf), suite, true); printf("%s", buf); return ret; }
int main(int argc, char *argv[]) { int ret; char buf[1024] = { 0 }; struct ut_suite *suite; suite = &FUNCTION_SUITE; ret = ut_run(suite); ut_report(buf, ARRAY_SIZE(buf), suite, true); printf("%s", buf); return ret; }
int main(int argc, char *argv[]) { int ret; char buf[1024] = { 0 }; struct ut_suite *suite = &p_xcorr_f32_suite; ret = ut_run(suite); ut_report(buf, ARRAY_SIZE(buf), suite, true); #ifdef __epiphany__ memcpy((void *) epiphany_results, buf, sizeof(buf)); epiphany_status->returncode = ret; epiphany_status->done = 1; #else printf("%s", buf); #endif return ret; }
static int all(void) { ut_run(Test_frameInit); ut_run(Test_verifierInit); ut_run(Test_verifierAddSymbol); ut_run(Test_verifierGetSymId); ut_run(Test_verifierDeactivateSymbols); ut_run(Test_verifierAddDisjoint); ut_run(Test_verifierGetVariables); ut_run(Test_verifierMakeFrame); ut_run(Test_verifierIsValidDisjointPairSubstitution); ut_run(Test_verifierIsValidSubstitution); ut_run(Test_verifierUnify); ut_run(Test_verifierApplyAssertion); ut_run(Test_verifierParseSymbol); ut_run(Test_verifierParseStatementContent); ut_run(Test_verifierParseConstants); ut_run(Test_verifierParseVariables); ut_run(Test_verifierParseDisjoints); ut_run(Test_verifierParseFloating); ut_run(Test_verifierParseEssential); ut_run(Test_verifierParseAssertion); ut_run(Test_verifierParseProofSymbol); ut_run(Test_verifierParseProof); ut_run(Test_verifierParseProvable); ut_run(Test_verifierParseUnlabelledStatement); ut_run(Test_verifierParseLabelledStatement); ut_run(Test_verifierParseStatement); ut_run(Test_verifierParseBlock); return 0; }
static int all(void) { ut_run(test_preprocInit); return 0; }