diff options
| -rw-r--r-- | .hgignore | 2 | ||||
| -rw-r--r-- | Test/dafny0/Answer | 4 |
2 files changed, 3 insertions, 3 deletions
@@ -1,6 +1,6 @@ syntax: regexp
^Source/.*\.(user|suo|cache|vs10x)$
-^Binaries/.*\.(dll|pdb|exe|manifest|config|smt2|vsix|vsixmanifest|bpl)$
+^Binaries/.*\.(dll|pdb|exe|manifest|config|smt2|vsix|vsixmanifest|bpl|pkgdef)$
^Source/.*\.(smt2|bpl)$
^.*(bin|obj)/([^/]*/)?(Debug|Release|Checked|Debug All|DEBUG ALL)/.*$
Test/.*/Output
diff --git a/Test/dafny0/Answer b/Test/dafny0/Answer index fd4efae5..4a6070fb 100644 --- a/Test/dafny0/Answer +++ b/Test/dafny0/Answer @@ -721,11 +721,11 @@ Basics.dfy(155,19): Error: assertion violation Execution trace:
(0,0): anon0
(0,0): anon11_Then
-Basics.dfy(157,10): Error: target object may be null
+Basics.dfy(157,10): Error: assignment may update an object not in the enclosing context's modifies clause
Execution trace:
(0,0): anon0
(0,0): anon3
-Basics.dfy(157,10): Error: assignment may update an object not in the enclosing context's modifies clause
+Basics.dfy(157,10): Error: target object may be null
Execution trace:
(0,0): anon0
(0,0): anon3
|