summaryrefslogtreecommitdiff
path: root/Test/dafny4/UnionFind.dfy.expect
blob: 8c2a9667ef04bc31b152cafe6af2ff4f0adca02f (plain) 
1
2
3


Dafny program verifier finished with 89 verified, 0 errors
Compiled assembly into UnionFind.dll
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-29 05:05:43 +0000