diff options
Diffstat (limited to 'Test/alltests.txt')
-rw-r--r-- | Test/alltests.txt | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/Test/alltests.txt b/Test/alltests.txt index 51334da8..ebe396e9 100644 --- a/Test/alltests.txt +++ b/Test/alltests.txt @@ -27,11 +27,4 @@ livevars Use STORM benchmarks for testing correctness of live variabl stratifiedinline Use Stratified inlining benchmarks
extractloops Use Extract loops benchmarks
havoc0 Use HAVOC-generated bpl files
-dafny0 Dafny Dafny functionality tests
-dafny1 Dafny Various Dafny examples
-dafny2 Dafny More Dafny examples
-VSI-Benchmarks Dafny Solutions to Verified Software Initiative verification challenges
-vacid0 Dafny Dafny attempts to VACID Edition 0 benchmarks
-vstte2012 Dafny Dafny solutions for the VSTTE 2012 program verification competition
-VSComp2010 Dafny Dafny solutions to VSComp (verified software competition) problems
AbsHoudini Postponed Test for abstract houdini
|