blob: 7acfb1692199ddbaaf6455d03fc1629e556685ca (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
Dafny program verifier finished with 2 verified, 0 errors
Program compiled successfully
Running...
True
False
True
False
True
False
False
True
False
True
False
True
|