Test/dafny0/Compilation.dfy.expect


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16


Dafny program verifier finished with 56 verified, 0 errors
Program compiled successfully
Running...

400
320
40
41
42
9
9
a is null
a and b are equal
good world order
given array is non-null