diff options
author | 2014-12-02 14:04:53 -0800 | |
---|---|---|
committer | 2014-12-02 14:04:53 -0800 | |
commit | 682a34e72274aff3ef4ebcbe54244d1c2ca0ba2f (patch) | |
tree | 448289d84b91a081f7658710f0fcb9cc425805c8 /Test/dafny0/Modules1.dfy.expect | |
parent | d5685d5afcd053a0bb2178425e1b1d12cd85eb52 (diff) |
Snapshot, to be continued
Diffstat (limited to 'Test/dafny0/Modules1.dfy.expect')
-rw-r--r-- | Test/dafny0/Modules1.dfy.expect | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/dafny0/Modules1.dfy.expect b/Test/dafny0/Modules1.dfy.expect index b269e3b2..342b5808 100644 --- a/Test/dafny0/Modules1.dfy.expect +++ b/Test/dafny0/Modules1.dfy.expect @@ -10,11 +10,11 @@ Modules1.dfy(94,18): Error: assertion violation Execution trace:
(0,0): anon0
(0,0): anon3_Else
-Modules1.dfy(56,3): Error: decreases expression must be bounded below by 0
+Modules1.dfy(56,9): Error: decreases expression must be bounded below by 0
Modules1.dfy(54,13): Related location
Execution trace:
(0,0): anon0
-Modules1.dfy(62,3): Error: failure to decrease termination measure
+Modules1.dfy(62,9): Error: failure to decrease termination measure
Execution trace:
(0,0): anon0
|