replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

more 

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@1708 6afb6bc1-c8e4-404c-8f48-9ae832c5b171
This commit is contained in:
kroening 2012-09-18 11:49:50 +00:00
parent ca4f7e5992
commit 3ccab2408e
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
regression/cbmc/Array_Initialization3/main.c
View File

@ -14,6 +14,10 @@ int array4[2] = { [1] 42 };
int array5[2][2] = { { 42, 42 }, {[1] 42 } };
int array6[2][2] = { [1] {[1] 42 } };
typedef int var_a[];
var_a array7 = { 1, 2 };
var_a array8 = { 1, 2, 3 };
int main(void)
{
assert(array1[0][1] ==2);
@ -26,5 +30,8 @@ int main(void)
assert(sizeof(array3)==sizeof(int)*8);
assert(sizeof(array7)==sizeof(int)*2);
assert(sizeof(array8)==sizeof(int)*3);
return 0;
}