diff options
| author |  Rustan Leino <unknown> | 2014-07-02 14:16:56 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-07-02 14:16:56 -0700 |
| commit | de0ad2057984cc066d4a9dc0fcf701abe23b47fc (patch) | |
| tree | 79b2cf255b7338ecd1ed664619c29d90f9a89e31 /Test/dafny0/SmallTests.dfy.expect | |
| parent | c5ed80858adb0a19fc1e1014d31ed609f18c3b33 (diff) | |
Updated expected test results for previous check-in
Diffstat (limited to 'Test/dafny0/SmallTests.dfy.expect')
| -rw-r--r-- | Test/dafny0/SmallTests.dfy.expect | 28 |
1 files changed, 22 insertions, 6 deletions
diff --git a/Test/dafny0/SmallTests.dfy.expect b/Test/dafny0/SmallTests.dfy.expect index fe3fa8bf..1e71ec8b 100644 --- a/Test/dafny0/SmallTests.dfy.expect +++ b/Test/dafny0/SmallTests.dfy.expect @@ -49,19 +49,35 @@ Execution trace: SmallTests.dfy(198,14): Error: assertion violation
Execution trace:
(0,0): anon0
- (0,0): anon6_Then
+ (0,0): anon9_Then
SmallTests.dfy(205,14): Error: assertion violation
Execution trace:
(0,0): anon0
- (0,0): anon6_Else
+ (0,0): anon9_Else
(0,0): anon3
- (0,0): anon7_Then
+ (0,0): anon10_Then
SmallTests.dfy(207,14): Error: assertion violation
Execution trace:
(0,0): anon0
- (0,0): anon6_Else
+ (0,0): anon9_Else
+ (0,0): anon3
+ (0,0): anon10_Else
+SmallTests.dfy(212,14): Error: assertion violation
+Execution trace:
+ (0,0): anon0
+ (0,0): anon9_Else
+ (0,0): anon3
+ (0,0): anon10_Then
+ (0,0): anon6
+ (0,0): anon11_Then
+SmallTests.dfy(214,14): Error: assertion violation
+Execution trace:
+ (0,0): anon0
+ (0,0): anon9_Else
(0,0): anon3
- (0,0): anon7_Else
+ (0,0): anon10_Then
+ (0,0): anon6
+ (0,0): anon11_Else
SmallTests.dfy(260,24): Error BP5002: A precondition for this call might not hold.
SmallTests.dfy(238,30): Related location: This is the precondition that might not hold.
Execution trace:
@@ -180,6 +196,6 @@ SmallTests.dfy(672,9): Error: cannot establish the existence of LHS values that Execution trace:
(0,0): anon0
-Dafny program verifier finished with 87 verified, 33 errors
+Dafny program verifier finished with 87 verified, 35 errors
Dafny program verifier finished with 0 verified, 0 errors
|