Taddeus Kroes 880b03d7a9 Moved preprocess tests to separate directory, tweaked some test configuration vars 12 년 전
..
bool_op.cvc 7dd8ec8281 Added new testsuite 12 년 전
bool_op.out 580ae7e235 Added output files for testsuite 12 년 전
factorial.cvc 7dd8ec8281 Added new testsuite 12 년 전
factorial.out 580ae7e235 Added output files for testsuite 12 년 전
for_to_while.cvc 7dd8ec8281 Added new testsuite 12 년 전
for_to_while.out 580ae7e235 Added output files for testsuite 12 년 전
forloop.cvc 7dd8ec8281 Added new testsuite 12 년 전
forloop.out 580ae7e235 Added output files for testsuite 12 년 전
nested_funs.cvc 7dd8ec8281 Added new testsuite 12 년 전
nested_funs.out 580ae7e235 Added output files for testsuite 12 년 전
pi.cvc 7dd8ec8281 Added new testsuite 12 년 전
pi.out 580ae7e235 Added output files for testsuite 12 년 전
prime.cvc 7dd8ec8281 Added new testsuite 12 년 전
prime.out 580ae7e235 Added output files for testsuite 12 년 전
res.out 580ae7e235 Added output files for testsuite 12 년 전
typecheck.cvc 7dd8ec8281 Added new testsuite 12 년 전
typecheck.out 580ae7e235 Added output files for testsuite 12 년 전