diff options
author | 2010-05-28 18:27:38 +0000 | |
---|---|---|
committer | 2010-05-28 18:27:38 +0000 | |
commit | 4453e362a1ed8449f9031454467cd67da5674451 (patch) | |
tree | 72de1eba9d1f9db64ef9a1f3a9392ab6c44b9dab /Test/alltests.txt | |
parent | 3b8dca0b54c45519be8f7e0c4c1ac92824690d28 (diff) |
added lazyinline to the regressions
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 6d44550e..a8ad52f2 100644 --- a/Test/alltests.txt +++ b/Test/alltests.txt @@ -23,3 +23,4 @@ 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
livevars Use STORM benchmarks for testing correctness of live variable analysis
+lazyinline Use Lazy inlining benchmarks
|