Taddeus Kroes 2cc381f53a Updated/added a bunch of test cases to test new scoping rules il y a 11 ans
..
euclid.cvc 10d985b7ab Replaced tabs with spaces in test files il y a 11 ans
euclid.out 580ae7e235 Added output files for testsuite il y a 12 ans
nested_funs.cvc 7dd8ec8281 Added new testsuite il y a 12 ans
nested_funs.out 580ae7e235 Added output files for testsuite il y a 12 ans
scopes.cvc 2cc381f53a Updated/added a bunch of test cases to test new scoping rules il y a 11 ans
scopes.out 2cc381f53a Updated/added a bunch of test cases to test new scoping rules il y a 11 ans