Taddeus Kroes 319c584e57 Added preprocessor tests 12 éve
..
array_init.cvc 7dd8ec8281 Added new testsuite 12 éve
array_single_eval.cvc 7dd8ec8281 Added new testsuite 12 éve
bool_op.cvc 7dd8ec8281 Added new testsuite 12 éve
factorial.cvc 7dd8ec8281 Added new testsuite 12 éve
for_to_while.cvc 7dd8ec8281 Added new testsuite 12 éve
forloop.cvc 7dd8ec8281 Added new testsuite 12 éve
nested_funs.cvc 7dd8ec8281 Added new testsuite 12 éve
pi.cvc 7dd8ec8281 Added new testsuite 12 éve
preprocess.cvc 319c584e57 Added preprocessor tests 12 éve
prime.cvc 7dd8ec8281 Added new testsuite 12 éve
typecheck.cvc 7dd8ec8281 Added new testsuite 12 éve