diff options
| author |  chmaria <unknown> | 2012-06-11 08:54:00 +0200 |
|---|---|---|
| committer | chmaria <unknown> | 2012-06-11 08:54:00 +0200 |
| commit | b52bb9d992c8c66665094110d399cfff31d71349 (patch) | |
| tree | 3706a3b642eb45e293f6a55973ad3634fff31e5e /Test/dafnyCompiler | |
| parent | 46ed37eef5a546ef551e71d7e5c6e382467bde0e (diff) | |
Dafny: Added compiler tests.
Diffstat (limited to 'Test/dafnyCompiler')
| -rw-r--r-- | Test/dafnyCompiler/Answer | 4 | ||||
| -rw-r--r-- | Test/dafnyCompiler/compilerTests.txt | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/Test/dafnyCompiler/Answer b/Test/dafnyCompiler/Answer index e8f7594e..60087e68 100644 --- a/Test/dafnyCompiler/Answer +++ b/Test/dafnyCompiler/Answer @@ -1,4 +1,8 @@ ----- Running regression test ..\dafnyRuntimeChecking (without runtime checking)
..\dafnyRuntimeChecking Succeeded
+----- Running regression test ..\VSI-Benchmarks (without runtime checking)
+..\VSI-Benchmarks Succeeded
----- Running regression test ..\dafnyRuntimeChecking (with runtime checking)
..\dafnyRuntimeChecking Succeeded
+----- Running regression test ..\VSI-Benchmarks (with runtime checking)
+..\VSI-Benchmarks Succeeded
diff --git a/Test/dafnyCompiler/compilerTests.txt b/Test/dafnyCompiler/compilerTests.txt index e65a1e59..f67e96b2 100644 --- a/Test/dafnyCompiler/compilerTests.txt +++ b/Test/dafnyCompiler/compilerTests.txt @@ -2,7 +2,7 @@ ..\dafny1 Postpone Various Dafny examples
..\dafny2 Postpone More Dafny examples
..\dafnyRuntimeChecking Use Dafny runtime checking tests
-..\VSI-Benchmarks Postpone Solutions to Verified Software Initiative verification challenges
+..\VSI-Benchmarks Use Solutions to Verified Software Initiative verification challenges
..\vacid0 Postpone Dafny attempts to VACID Edition 0 benchmarks
..\vstte2012 Postpone Dafny solutions for the VSTTE 2012 program veri..\fication competition
..\VSComp2010 Postpone Dafny solutions to VSComp (verified software competition) problems
|