blob: bef70cf139ab20905bb62fcc0c5e5514e760c8cd (
plain)
1
2
3
4
5
6
7
8
9
10
|
-------------------- SnapshotableTrees.dfy --------------------
Dafny program verifier version 2.2.30705.1126, Copyright (c) 2003-2011, Microsoft.
Dafny program verifier finished with 37 verified, 0 errors
-------------------- TreeBarrier.dfy --------------------
Dafny program verifier version 2.2.30705.1126, Copyright (c) 2003-2011, Microsoft.
Dafny program verifier finished with 8 verified, 0 errors
|