Searched refs:test_script (Results 1 – 2 of 2) sorted by relevance
81 char test_script[80]; in main() local130 sprintf(test_script, in main()133 system(test_script); in main()135 sprintf(test_script, in main()138 system(test_script); in main()140 sprintf(test_script, in main()143 system(test_script); in main()
7 CBMC_FLAGS="$(CBMC_FLAGS)" sh ../test_script.sh --should-pass $$i > $$i.out 2>&1 ; \11 CBMC_FLAGS="$(CBMC_FLAGS)" sh ../test_script.sh --should-fail $$i > $$i.out 2>&1 ; \
