blob: 74aaae2b6356eea3bc086a45f1de6a93dddc866b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
-------------------- Problem1-SumMax.dfy --------------------
Dafny program verifier finished with 4 verified, 0 errors
Compiled program written to out.cs
-------------------- Problem2-Invert.dfy --------------------
Dafny program verifier finished with 7 verified, 0 errors
Compiled program written to out.cs
-------------------- Problem3-FindZero.dfy --------------------
Dafny program verifier finished with 7 verified, 0 errors
Compiled program written to out.cs
-------------------- Problem4-Queens.dfy --------------------
Dafny program verifier finished with 15 verified, 0 errors
Compiled program written to out.cs
-------------------- Problem5-DoubleEndedQueue.dfy --------------------
Dafny program verifier finished with 21 verified, 0 errors
Compiled program written to out.cs
|
