simpleArray3 Trace summary:

Step 1: State 0 -- simpleArray3.c line 4 [main@0->main@1] "a[2][1] = 7;"

simpleArray3 Trace details:

begin state 0
  save = true
  onStack = true;
  seen = true;
  pathCondition : true
  begin model state
    begin shared variables
    end shared variables;
    begin process 0
      begin global variables
        a = m0v0 (int[2][3]);
      end global variables;
      begin stack frame 0
        function : main;
        location : 0;
      end stack frame 0;
    end process 0;
  end model state
end state 0.

Step 1: State 0 -- simpleArray3.c line 4 [main@0->main@1] "a[2][1] = 7;"
