diff options
Diffstat (limited to 'Chalice/tests/permission-model/predicates.output.txt')
-rw-r--r-- | Chalice/tests/permission-model/predicates.output.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Chalice/tests/permission-model/predicates.output.txt b/Chalice/tests/permission-model/predicates.output.txt index 5c0d0455..2f4acf7b 100644 --- a/Chalice/tests/permission-model/predicates.output.txt +++ b/Chalice/tests/permission-model/predicates.output.txt @@ -8,4 +8,4 @@ The program did not fully verify; the smoke warnings might be misleading if cont 28.3: The end of method b3 is unreachable. 49.3: The end of method b5 is unreachable. -Boogie program verifier finished with 3 errors and 2 smoke test warnings.
+Boogie program verifier finished with 3 errors and 2 smoke test warnings
|