diff options
| author |  leino <unknown> | 2015-11-27 18:03:04 -0800 |
|---|---|---|
| committer | leino <unknown> | 2015-11-27 18:03:04 -0800 |
| commit | 66d8663d16def735d8983f67aaffbf342e88a5f5 (patch) | |
| tree | 571e3fe7b67e96a30b5ac8e9ba77a2cb403b8318 /Test/dafny4/UnionFind.dfy.expect | |
| parent | 351bce8912c2ae2159abb0ebe2b1e1ad1a4b4290 (diff) | |
Added Union-Find program to test suite (could be cleaned up, but verifies)
Diffstat (limited to 'Test/dafny4/UnionFind.dfy.expect')
| -rw-r--r-- | Test/dafny4/UnionFind.dfy.expect | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Test/dafny4/UnionFind.dfy.expect b/Test/dafny4/UnionFind.dfy.expect new file mode 100644 index 00000000..8c2a9667 --- /dev/null +++ b/Test/dafny4/UnionFind.dfy.expect @@ -0,0 +1,3 @@ +
+Dafny program verifier finished with 89 verified, 0 errors
+Compiled assembly into UnionFind.dll
|