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