blob: 3758853e7060fe7bb9eeaaae790cd6bd34c8c558 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
-------------------- CloudMake-ParallelBuilds.dfy --------------------
Dafny program verifier finished with 244 verified, 0 errors
-------------------- CloudMake-CachedBuilds.dfy --------------------
Dafny program verifier finished with 104 verified, 0 errors
-------------------- CloudMake-ConsistentBuilds.dfy --------------------
Dafny program verifier finished with 59 verified, 0 errors
|
