diff options
| author |  Rustan Leino <unknown> | 2014-04-04 10:58:05 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-04-04 10:58:05 -0700 |
| commit | 6c8b9222e5eb724258ddb92662c9fcbe470f1a1d (patch) | |
| tree | c09a504f43d03aaaa8394986265b9a82b5c5056a /Test/dafny0/Answer | |
| parent | e8bae7e26441d2077d33a8b771c7d559eaee5d71 (diff) | |
| parent | 4937d6e714913a2645d3fd00be376ada31057433 (diff) | |
Merge
Diffstat (limited to 'Test/dafny0/Answer')
| -rw-r--r-- | Test/dafny0/Answer | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Test/dafny0/Answer b/Test/dafny0/Answer index 204f2dcc..517f1182 100644 --- a/Test/dafny0/Answer +++ b/Test/dafny0/Answer @@ -2198,6 +2198,10 @@ Execution trace: Dafny program verifier finished with 25 verified, 11 errors
+-------------------- DatatypeUpdate.dfy --------------------
+
+Dafny program verifier finished with 2 verified, 0 errors
+
-------------------- Superposition.dfy --------------------
Verifying CheckWellformed$$_0_M0.C.M ...
|