diff options
| author |  chmaria <unknown> | 2014-11-04 06:51:56 +0100 |
|---|---|---|
| committer | chmaria <unknown> | 2014-11-04 06:51:56 +0100 |
| commit | cac5c7d4a8a387f757a7ac44a6bc9b6c340f01d6 (patch) | |
| tree | ae8ed555c90c72baaaa1799f4a303f6294b97344 /Test/dafny0/DirtyLoops.dfy | |
| parent | de76f8df4091e6f14a1a6ce8c82c9a50bff68a87 (diff) | |
Made dirty statements ghost.
Diffstat (limited to 'Test/dafny0/DirtyLoops.dfy')
| -rw-r--r-- | Test/dafny0/DirtyLoops.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny0/DirtyLoops.dfy b/Test/dafny0/DirtyLoops.dfy index 5d356f0a..d3164fa9 100644 --- a/Test/dafny0/DirtyLoops.dfy +++ b/Test/dafny0/DirtyLoops.dfy @@ -1,4 +1,4 @@ -// RUN: %dafny /compile:0 /dprint:"%t.dprint.dfy" "%s" > "%t"; %dafny /noVerify /compile:0 "%t.dprint.dfy" >> "%t"
+// RUN: %dafny /compile:0 /dprint:"%t.dprint.dfy" "%s" > "%t"; %dafny /noVerify /compile:1 "%t.dprint.dfy" >> "%t"
// RUN: %diff "%s.expect" "%t"
method M0(S: set<int>) {
|