blob: a9f834b7d21b4f71fab9c805353efc3aab92dde7 (
plain)
1
2
3
4
5
6
7
8
9
|
BinarySearch.dfy(44,19): Error: result of operation might violate newtype constraint
Execution trace:
(0,0): anon0
BinarySearch.dfy(40,3): anon18_LoopHead
(0,0): anon18_LoopBody
BinarySearch.dfy(40,3): anon19_Else
BinarySearch.dfy(40,3): anon23_Else
Dafny program verifier finished with 6 verified, 1 error
|