Taddeus Kroes 65edd7a998 Removed some faulty comments from the testsuite 12 年之前
..
euclid.cvc 7dd8ec8281 Added new testsuite 12 年之前
euclid.out 580ae7e235 Added output files for testsuite 12 年之前
nested_funs.cvc 7dd8ec8281 Added new testsuite 12 年之前
nested_funs.out 580ae7e235 Added output files for testsuite 12 年之前
scopes.cvc 65edd7a998 Removed some faulty comments from the testsuite 12 年之前
scopes.out b3d574c61f Commented failing test 12 年之前