diff options
Diffstat (limited to 'Test/houdini/Answer')
| -rw-r--r-- | Test/houdini/Answer | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Test/houdini/Answer b/Test/houdini/Answer index 94ae7f04..60ae7d80 100644 --- a/Test/houdini/Answer +++ b/Test/houdini/Answer @@ -99,3 +99,13 @@ b6 = False b7 = False
Boogie program verifier finished with 1 verified, 0 errors
+.
+-------------------- test7.bpl --------------------
+Assignment computed by Houdini:
+
+Boogie program verifier finished with 2 verified, 0 errors
+.
+-------------------- test8.bpl --------------------
+Assignment computed by Houdini:
+
+Boogie program verifier finished with 3 verified, 0 errors
|