Test/dafny0/AdvancedLHS.dfy.expect


1
2
3
4
5
6

AdvancedLHS.dfy(34,23): Error: target object may be null
Execution trace:
    (0,0): anon0
    (0,0): anon15_Else

Dafny program verifier finished with 7 verified, 1 error