diff options
Diffstat (limited to 'Test/havoc0/Output')
| -rw-r--r-- | Test/havoc0/Output | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/Test/havoc0/Output b/Test/havoc0/Output deleted file mode 100644 index 80fd4aa3..00000000 --- a/Test/havoc0/Output +++ /dev/null @@ -1,12 +0,0 @@ -
-Boogie program verifier finished with 1 verified, 0 errors
-
-Boogie program verifier finished with 1 verified, 0 errors
-
-Boogie program verifier finished with 1 verified, 0 errors
-
-Boogie program verifier finished with 1 verified, 0 errors
-
-Boogie program verifier finished with 1 verified, 0 errors
-
-Boogie program verifier finished with 1 verified, 0 errors
|