source:
CIVL/examples/languageFeatures/forall3.cvl
| Last change on this file was d24f3f3, checked in by , 9 months ago | |
|---|---|
|
|
| File size: 102 bytes | |
| Rev | Line | |
|---|---|---|
| [d24f3f3] | 1 | int main(void) { |
| 2 | int x=7; | |
| 3 | int *a[2] = {&x, &x}; | |
| 4 | $assert($forall (int i : 0 .. 1) *(a[i])==7); | |
| 5 | } |
Note:
See TracBrowser
for help on using the repository browser.
