diff options
Diffstat (limited to 'Test/dafnyCompiler/compilerTests.txt')
| -rw-r--r-- | Test/dafnyCompiler/compilerTests.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Test/dafnyCompiler/compilerTests.txt b/Test/dafnyCompiler/compilerTests.txt new file mode 100644 index 00000000..6b3abbd4 --- /dev/null +++ b/Test/dafnyCompiler/compilerTests.txt @@ -0,0 +1,8 @@ +..\dafny0 Use Dafny functionality tests
+..\dafny1 Use Various Dafny examples
+..\dafny2 Use More Dafny examples
+..\dafnyRuntimeChecking Use Dafny runtime checking tests
+..\VSI-Benchmarks Use Solutions to Verified Software Initiative verification challenges
+..\vacid0 Use Dafny attempts to VACID Edition 0 benchmarks
+..\vstte2012 Use Dafny solutions for the VSTTE 2012 program verification competition
+..\VSComp2010 Use Dafny solutions to VSComp (verified software competition) problems
|