blob: 0a934a632294be25101bb3a73efa0527aa83e7d5 (
plain)
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
|