diff options
Diffstat (limited to 'Test/hofs/Classes.dfy.expect')
| -rw-r--r-- | Test/hofs/Classes.dfy.expect | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Test/hofs/Classes.dfy.expect b/Test/hofs/Classes.dfy.expect index 3c933bae..880dcc47 100644 --- a/Test/hofs/Classes.dfy.expect +++ b/Test/hofs/Classes.dfy.expect @@ -1,10 +1,10 @@ Classes.dfy(41,6): Error: possible violation of function precondition
Execution trace:
(0,0): anon0
- (0,0): anon11_Then
- (0,0): anon3
(0,0): anon12_Then
- (0,0): anon13_Else
+ (0,0): anon4
+ (0,0): anon13_Then
(0,0): anon14_Else
+ (0,0): anon15_Else
Dafny program verifier finished with 6 verified, 1 error
|