begin model simpleArrayFailSpec
| begin input variables
| end input variables;
| begin output variables
| | A : int[1];
| | | simpleArrayFailSpec.c 1.13--2.9: "output int A[1];"
| end output variables;
| begin process 0
| | main function : main;
| | begin function main
| | | | simpleArrayFailSpec.c 4.0--4.11: "void main()"
| | | start location : 0;
| | | begin location 0
| | | | kind : ASSIGNMENT;
| | | | A[0] = 0; goto location 1;
| | | | | simpleArrayFailSpec.c 5.1--5.10: "A[0] = 0;"
| | | end location 0;
| | | begin location 1
| | | | kind : RETURN;
| | | | return null; goto location 2;
| | | | | simpleArrayFailSpec.c 6.0--6.0: "}"
| | | end location 1;
| | | begin location 2
| | | | kind : TERMINAL;
| | | end location 2;
| | end function main;
| end process 0;
end model simpleArrayFailSpec.
