Opened 17 years ago
Closed 17 years ago
#68 closed enhancement (fixed)
-loop option
| Reported by: | zirkel | Owned by: | ywei |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | front | Version: | 1.0 |
| Keywords: | loop, front, compare | Cc: |
Description
Loop verifier shouldn't execute unless -loop is specified.
Change History (2)
comment:1 by , 17 years ago
| Status: | new → accepted |
|---|
comment:2 by , 17 years ago
| Resolution: | → fixed |
|---|---|
| Status: | accepted → closed |
Note:
See TracTickets
for help on using tickets.
Option added. The verifier will ignore loop coninvariant annotations by default.