Taddeus Kroes 880b03d7a9 Moved preprocess tests to separate directory, tweaked some test configuration vars 12 years ago
..
binops.cvc 7dd8ec8281 Added new testsuite 12 years ago
boolop.cvc 7dd8ec8281 Added new testsuite 12 years ago
do_while.cvc 7dd8ec8281 Added new testsuite 12 years ago
extern_var.cvc 7dd8ec8281 Added new testsuite 12 years ago
globaldec.cvc 7dd8ec8281 Added new testsuite 12 years ago
params_simple.cvc 7dd8ec8281 Added new testsuite 12 years ago
parse.cvc 35476b2030 Added extensive parsing test ,tweaked some other test files 12 years ago
vardec_init.cvc 35476b2030 Added extensive parsing test ,tweaked some other test files 12 years ago