source: CIVL/examples/languageFeatures/forall3.cvl

main
Last change on this file was d24f3f3, checked in by Stephen Siegel <siegel@…>, 9 months ago

Committing 3 forall examples which illustrate bugs in translation
of forall. Need to add JUnit tests for them too.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@5976 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 102 bytes
Line 
1int 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.