Taddeus Kroes 2cc381f53a Updated/added a bunch of test cases to test new scoping rules %!s(int64=11) %!d(string=hai) anos
..
euclid.cvc 10d985b7ab Replaced tabs with spaces in test files %!s(int64=11) %!d(string=hai) anos
euclid.out 580ae7e235 Added output files for testsuite %!s(int64=12) %!d(string=hai) anos
nested_funs.cvc 7dd8ec8281 Added new testsuite %!s(int64=12) %!d(string=hai) anos
nested_funs.out 580ae7e235 Added output files for testsuite %!s(int64=12) %!d(string=hai) anos
scopes.cvc 2cc381f53a Updated/added a bunch of test cases to test new scoping rules %!s(int64=11) %!d(string=hai) anos
scopes.out 2cc381f53a Updated/added a bunch of test cases to test new scoping rules %!s(int64=11) %!d(string=hai) anos