summaryrefslogtreecommitdiff
path: root/Test/alltests.txt
diff options
context:
space:
mode:
authorGravatar rustanleino <unknown>2009-11-08 20:53:30 +0000
committerGravatar rustanleino <unknown>2009-11-08 20:53:30 +0000
commitfdef447cce5bdc57851cad1427f2a8e7cd7df35f (patch)
tree0ba65512e599e44cb883d027a945375994bdc975 /Test/alltests.txt
parentc9c423ce3bde91f736266f8c9ae883b9e44acc70 (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.txt1
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