source:
CIVL/examples/experimental/multInLoopCond.cvl@
67da504
| Last change on this file since 67da504 was e51fd2f, checked in by , 12 years ago | |
|---|---|
|
|
| File size: 256 bytes | |
| Rev | Line | |
|---|---|---|
| [6cc497b] | 1 | /* Commandline execution: |
| 2 | * civl verify multInLoopCond.cvl | |
| 3 | * */ | |
| [13953d1] | 4 | $input int N; |
| 5 | $input int M; | |
| 6 | $assume N > 0 && N < 3; | |
| 7 | $assume M > 0 && M < 3; | |
| [e51fd2f] | 8 | $assume N*M<=4; |
| [13953d1] | 9 | |
| 10 | void main() { | |
| 11 | int k = M*N; | |
| 12 | int a[k]; | |
| 13 | ||
| 14 | for (int i = 0; i < k; i++) { | |
| 15 | a[i] = i; | |
| 16 | } | |
| 17 | } |
Note:
See TracBrowser
for help on using the repository browser.
