diff options
| author |  rustanleino <unknown> | 2010-09-01 02:18:50 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-09-01 02:18:50 +0000 |
| commit | fa74957f72223ee4b88f152d4d469ca571a02094 (patch) | |
| tree | 2974c5cd193c6669c516caf994bd49b198ca875e /Test/alltests.txt | |
| parent | 07157901b3973f303b959818165f585a60ddaa74 (diff) | |
Dafny: Added Dafny solutions to the VSComp 2010 problems
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 4b12e6fd..32f76029 100644 --- a/Test/alltests.txt +++ b/Test/alltests.txt @@ -28,3 +28,4 @@ vacid0 Use Dafny attempts to VACID Edition 0 benchmarks livevars Use STORM benchmarks for testing correctness of live variable analysis
lazyinline Use Lazy inlining benchmarks
stratifiedinline Use Stratified inlining benchmarks
+VSComp2010 Use Dafny solutions to VSComp (verified software competition) problems
|