diff options
author | 2009-11-08 20:53:30 +0000 | |
---|---|---|
committer | 2009-11-08 20:53:30 +0000 | |
commit | fdef447cce5bdc57851cad1427f2a8e7cd7df35f (patch) | |
tree | 0ba65512e599e44cb883d027a945375994bdc975 /Test/alltests.txt | |
parent | c9c423ce3bde91f736266f8c9ae883b9e44acc70 (diff) |
Start (some parsing and resolution) of adding algebraic datatypes to Dafny.
Included VSI-Benchmarks in standard tests.
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 2a7e11bd..359a27f8 100644 --- a/Test/alltests.txt +++ b/Test/alltests.txt @@ -20,3 +20,4 @@ z3api Postponed Test for Z3 Managed .NET API prover houdini Postponed Test for Houdini decision procedure
dafny0 Use Dafny programs
havoc0 Use HAVOC-generated bpl files
+VSI-Benchmarks Use Solutions to Verified Software Initiative verification challenges
|