diff options
| author |  Rustan Leino <unknown> | 2013-06-20 18:44:27 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-06-20 18:44:27 -0700 |
| commit | 33be7e9826a9c6aaf72bcba82d349266d8f94d9c (patch) | |
| tree | 11904980cd966fe0e88a1267f18f90a941135224 /Test/vstte2012 | |
| parent | f75149436835b10ebba203a7a72ba52e723be03b (diff) | |
Beefed up axioms about cardinality and the empty (multi)set, which fixes Issue 17 on dafny.codeplex.com.
Added information that allows multiset members to be unboxed as needed (mimicking what was already done for sets).
Diffstat (limited to 'Test/vstte2012')
| -rw-r--r-- | Test/vstte2012/runtest.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/vstte2012/runtest.bat b/Test/vstte2012/runtest.bat index 3fffb577..ecccd929 100644 --- a/Test/vstte2012/runtest.bat +++ b/Test/vstte2012/runtest.bat @@ -13,5 +13,5 @@ for %%f in ( ) do (
echo.
echo -------------------- %%f --------------------
- %DAFNY_EXE% /compile:0 /vcsMaxKeepGoingSplits:2 /dprint:out.dfy.tmp %* %%f
+ %DAFNY_EXE% /compile:0 /dprint:out.dfy.tmp %* %%f
)
|