blob: bf3f9dfbfda33e2d1bfc15a6517768fcf646b6d2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
# Reading from minimal.transcript
Verifying CheckWellformed$$_module.__default.A ...
[0 proof obligations] verified
Verifying Impl$$_module.__default.A ...
[2 proof obligations] error
transcript(3,9): Error: assertion violation
Execution trace:
(0,0): anon0
Verification completed successfully!
[SUCCESS] [[DAFNY-SERVER: EOM]]
Verification completed successfully!
[SUCCESS] [[DAFNY-SERVER: EOM]]
|
