blob: 6f270f92af7afea524638531076b95f6bcb6917a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
-------------------- LazyInitArray.dfy --------------------
Dafny program verifier finished with 7 verified, 0 errors
-------------------- SparseArray.dfy --------------------
Dafny program verifier finished with 9 verified, 0 errors
-------------------- Composite.dfy --------------------
Dafny program verifier finished with 14 verified, 0 errors
|