source:
CIVL/text/include/svcomp.cvl@
dfb0fef
| Last change on this file since dfb0fef was 23c8bc3, checked in by , 12 years ago | |
|---|---|
|
|
| File size: 155 bytes | |
| Rev | Line | |
|---|---|---|
| [23c8bc3] | 1 | #ifdef __SVCOMP__ |
| 2 | #else | |
| 3 | #define __SVCOMP__ | |
| 4 | ||
| 5 | void __VERIFIER_assume(int expression) { | |
| 6 | if (!expression) | |
| 7 | { | |
| 8 | LOOP: | |
| 9 | goto LOOP; | |
| 10 | } | |
| 11 | } | |
| 12 | ||
| 13 | #endif | |
| 14 |
Note:
See TracBrowser
for help on using the repository browser.
