Test/dafny0/Tuples.dfy.expect


1
2
3
4
5
6
7
8

Tuples.dfy(22,18): Error: assertion violation
Execution trace:
    (0,0): anon0
Tuples.dfy(24,20): Error: possible division by zero
Execution trace:
    (0,0): anon0

Dafny program verifier finished with 3 verified, 2 errors