diff options
| author |  mschwerhoff <unknown> | 2011-09-27 09:26:47 +0200 |
|---|---|---|
| committer | mschwerhoff <unknown> | 2011-09-27 09:26:47 +0200 |
| commit | 4d34ba001eed6cc67f10939deb0a814aaced9d02 (patch) | |
| tree | 4ffab1742dbf1a56629894aba9b7603029b4cea8 /Chalice/tests/examples | |
| parent | 7ec7a95e0eb68a98fe0b90d124e94374bbd98b61 (diff) | |
Chalice: Added missing reference output for AVLTree examples
Diffstat (limited to 'Chalice/tests/examples')
| -rw-r--r-- | Chalice/tests/examples/AVLTree.iterative.output.txt | 4 | ||||
| -rw-r--r-- | Chalice/tests/examples/AVLTree.nokeys.output.txt | 4 |
2 files changed, 8 insertions, 0 deletions
diff --git a/Chalice/tests/examples/AVLTree.iterative.output.txt b/Chalice/tests/examples/AVLTree.iterative.output.txt new file mode 100644 index 00000000..152260e3 --- /dev/null +++ b/Chalice/tests/examples/AVLTree.iterative.output.txt @@ -0,0 +1,4 @@ +Verification of AVLTree.iterative.chalice using parameters=""
+
+ +Boogie program verifier finished with 0 errors and 0 smoke test warnings.
diff --git a/Chalice/tests/examples/AVLTree.nokeys.output.txt b/Chalice/tests/examples/AVLTree.nokeys.output.txt new file mode 100644 index 00000000..c9dc557a --- /dev/null +++ b/Chalice/tests/examples/AVLTree.nokeys.output.txt @@ -0,0 +1,4 @@ +Verification of AVLTree.nokeys.chalice using parameters=""
+
+ +Boogie program verifier finished with 0 errors and 0 smoke test warnings.
|