diff options
author | 2010-09-04 20:19:51 +0000 | |
---|---|---|
committer | 2010-09-04 20:19:51 +0000 | |
commit | 2417ba8293140541c1b626189adc27a26238891c (patch) | |
tree | f020d4b0a42fca705eeb6c54b62da00eeeeb9164 /Test/alltests.txt | |
parent | 6541ac9ebb538c339f818e9d473e09c5207f23ae (diff) |
Added tests for extractloops
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 32f76029..589908bf 100644 --- a/Test/alltests.txt +++ b/Test/alltests.txt @@ -28,4 +28,5 @@ 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
+extractloops Use Extract loops benchmarks
VSComp2010 Use Dafny solutions to VSComp (verified software competition) problems
|