source: CIVL/examples/sideEffects/structWithDiv.cvl@ afc300c

1.23 2.0 main test-branch
Last change on this file since afc300c was 2e10bc7, checked in by Manchun Zheng <zmanchun@…>, 10 years ago

simplified the test, making it minimum; adding comments to link with the corresponding ticket; improved the clarity of error message.

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@3762 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100644
File size: 120 bytes
Line 
1struct A;
2
3const int k=9;
4
5struct A{
6 int a[32/k];
7};
8
9int main(){
10 struct A b;
11 b.a[0] = 0;
12 return b.a[0];
13}
14
Note: See TracBrowser for help on using the repository browser.