From ac4bedcd7ff6765b996c7c76b34231871eb19973 Mon Sep 17 00:00:00 2001 From: stefanheule Date: Tue, 5 Jul 2011 08:40:13 +0200 Subject: Chalice: Completely switch to new testing scripts (more flexible and fine-grained testing) and remove old test.bat. New testing scripts are described in Chalice/tests/readme.txt. --- Chalice/tests/permission-model/permarith_parser.output.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Chalice/tests/permission-model/permarith_parser.output.txt') diff --git a/Chalice/tests/permission-model/permarith_parser.output.txt b/Chalice/tests/permission-model/permarith_parser.output.txt index f124b714..bc6598a1 100644 --- a/Chalice/tests/permission-model/permarith_parser.output.txt +++ b/Chalice/tests/permission-model/permarith_parser.output.txt @@ -1,4 +1,4 @@ -Verification of permarith_parser.chalice +Verification of permarith_parser.chalice using parameters="" The program did not typecheck. 6.14: fraction in permission must be of type integer -- cgit v1.2.3