diff options
| author |  Rustan Leino <unknown> | 2013-02-20 17:38:56 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-02-20 17:38:56 -0800 |
| commit | d26d672bb7cfea66721d4a819477f3a7541d4631 (patch) | |
| tree | 490862b3b0f52367d217743752f07a88c72774ec /Test/dafny0 | |
| parent | 5c5d0318c70d53eb8b287b07edfce96b6888a540 (diff) | |
Added Equals method on Type
Fixed some precondition violations
Various improvements in Contracts
Diffstat (limited to 'Test/dafny0')
| -rw-r--r-- | Test/dafny0/Answer | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Test/dafny0/Answer b/Test/dafny0/Answer index c738f058..879ee8af 100644 --- a/Test/dafny0/Answer +++ b/Test/dafny0/Answer @@ -1786,15 +1786,15 @@ TailCalls.dfy(64,12): Error: 'decreases *' is allowed only on tail-recursive met Calculations.dfy(3,4): Error: index out of range
Execution trace:
(0,0): anon0
- (0,0): anon11_Then
+ (0,0): anon17_Then
Calculations.dfy(8,13): Error: index out of range
Execution trace:
(0,0): anon0
- (0,0): anon13_Then
+ (0,0): anon19_Then
Calculations.dfy(8,17): Error: assertion violation
Execution trace:
(0,0): anon0
- (0,0): anon13_Then
+ (0,0): anon19_Then
Calculations.dfy(42,11): Error: assertion violation
Execution trace:
(0,0): anon0
|