diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-09-11 19:12:59 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-09-11 19:12:59 -0700 |
| commit | 637d9730fe4535352ce821b0e145cf6b41a1a057 (patch) | |
| tree | 99ffb86edad97a8571ac1caa27406f42926ba3bb /Test/alltests.txt | |
| parent | 0d06cb1b6a16fee1a789f3b1b674d59cfcd11d92 (diff) | |
Dafny: added Snapshotable Trees example
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 b2d093cc..6e0073f2 100644 --- a/Test/alltests.txt +++ b/Test/alltests.txt @@ -23,6 +23,7 @@ z3api Postponed Test for Z3 Managed .NET API prover houdini Postponed Test for Houdini decision procedure
dafny0 Use Dafny functionality tests
dafny1 Use Various Dafny examples
+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
|