diff options
| author |  Valentin Wüstholz <wuestholz@gmail.com> | 2015-11-16 12:04:37 -0600 |
|---|---|---|
| committer | Valentin Wüstholz <wuestholz@gmail.com> | 2015-11-16 12:04:37 -0600 |
| commit | f049d2ec646244bc40964b36d961966fe2a3e4dc (patch) | |
| tree | 31dd22334b5cb314eb018fd1deee810836ffa486 /Test/unnecessaryassumes/unnecessaryassumes1.bpl.expect | |
| parent | 74765d1b66730a612ce3eaf404883c09ab8f0153 (diff) | |
Add support for identifying unnecessary assumes.
Diffstat (limited to 'Test/unnecessaryassumes/unnecessaryassumes1.bpl.expect')
| -rw-r--r-- | Test/unnecessaryassumes/unnecessaryassumes1.bpl.expect | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Test/unnecessaryassumes/unnecessaryassumes1.bpl.expect b/Test/unnecessaryassumes/unnecessaryassumes1.bpl.expect new file mode 100644 index 00000000..dd04bb46 --- /dev/null +++ b/Test/unnecessaryassumes/unnecessaryassumes1.bpl.expect @@ -0,0 +1,3 @@ +Necessary assume command(s): s0, s3, s2 + +Boogie program verifier finished with 3 verified, 0 errors |