diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-11-15 13:03:52 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-11-15 13:03:52 -0800 |
| commit | 94fcbefe78e8f7f866e0e6f743fa4b1ab258b296 (patch) | |
| tree | 882ca63e87067b9ef5d94627c8c48ecd160bcc85 /Test/alltests.txt | |
| parent | 9985eb5e81b1c5c62aceb4edab5d07b1f4f46809 (diff) | |
Added Dafny solutions to the VSTTE 2012 program verification competition
Diffstat (limited to 'Test/alltests.txt')
| -rw-r--r-- | Test/alltests.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Test/alltests.txt b/Test/alltests.txt index e50d0a61..baffc2a1 100644 --- a/Test/alltests.txt +++ b/Test/alltests.txt @@ -27,6 +27,7 @@ dafny2 Use More Dafny examples havoc0 Use HAVOC-generated bpl files
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
livevars Use STORM benchmarks for testing correctness of live variable analysis
lazyinline Postponed Lazy inlining benchmarks
stratifiedinline Use Stratified inlining benchmarks
|