Test/dafny0/Compilation.dfy.expect


1
2
3
4
5
6
7
8
9
10
11
12


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

400
320
40
41
42
9
9