diff options
| author |  qadeer <unknown> | 2014-10-21 09:23:58 -0700 |
|---|---|---|
| committer | qadeer <unknown> | 2014-10-21 09:23:58 -0700 |
| commit | ee3f9e1c387a0edfc2ae8324bc8fb051776aab34 (patch) | |
| tree | 8caf60b7c46b2416bd36ec86d27aa7205e59d408 | |
| parent | cd7941ab040ad7c8c61e438ba7f249458e4c7f90 (diff) | |
removed a useless procedure
| -rw-r--r-- | Test/og/one.bpl | 6 | ||||
| -rw-r--r-- | Test/og/one.bpl.expect | 2 |
2 files changed, 1 insertions, 7 deletions
diff --git a/Test/og/one.bpl b/Test/og/one.bpl index 0fc6d32f..2da898d6 100644 --- a/Test/og/one.bpl +++ b/Test/og/one.bpl @@ -8,12 +8,6 @@ ensures {:atomic} x := v; return true;
}|;
-procedure A()
-modifies x;
-{
- x := x;
-}
-
procedure {:yields} {:phase 1} B()
{
yield;
diff --git a/Test/og/one.bpl.expect b/Test/og/one.bpl.expect index 3de74d3e..6abb715b 100644 --- a/Test/og/one.bpl.expect +++ b/Test/og/one.bpl.expect @@ -1,2 +1,2 @@ -Boogie program verifier finished with 2 verified, 0 errors
+Boogie program verifier finished with 1 verified, 0 errors
|