source:
CIVL/examples/library/civlc/assertPrintf.cvl@
d87ec9c
| Last change on this file since d87ec9c was a0f0868, checked in by , 12 years ago | |
|---|---|
|
|
| File size: 179 bytes | |
| Rev | Line | |
|---|---|---|
| [25be2a6] | 1 | /* |
| 2 | * Commandline example: | |
| 3 | * civl verify assertPrintf.cvl | |
| 4 | */ | |
| 5 | #include<civlc.h> | |
| 6 | ||
| 7 | void main(){ | |
| 8 | int a = 10; | |
| 9 | int b = 2; | |
| 10 | $assert(b > a, "%d is smaller than %d!", b, a); | |
| 11 | } |
Note:
See TracBrowser
for help on using the repository browser.
