multierr Trace summary:

Step 1: State 0 -- multierr.c line 16 [main@0->main@1] "assert n>=1;" -> State 1
Step 2: State 1 -- multierr.c line 19 [main@1->main@2] "a[3] = 3.14;"

multierr Trace details:

begin State 0
  onStack = true;
  seen = true;
  pathCondition : X0 != 0
  begin model state
    begin shared variables
      n = X0 (int);
    end shared variables;
    begin process 0
      begin stack frame 0
        function : main;
        location : 0;
        m = ((10)�(X0)) (int);
        a = m0p0s0f0v1 (real[((10)�(X0))]);
        q = &a[0] (Ref[real]);
      end stack frame 0;
    end process 0;
  end model state
end State 0

Step 1: State 0 -- multierr.c line 16 [main@0->main@1] "assert n>=1;" -> State 1

begin State 1
  onStack = true;
  seen = true;
  pathCondition : X0 + -1 >= 0
  begin model state
    begin shared variables
      n = X0 (int);
    end shared variables;
    begin process 0
      begin stack frame 0
        function : main;
        location : 1;
        m = ((10)�(X0)) (int);
        a = m0p0s0f0v1 (real[((10)�(X0))]);
        q = &a[0] (Ref[real]);
      end stack frame 0;
    end process 0;
  end model state
end State 1

Step 2: State 1 -- multierr.c line 19 [main@1->main@2] "a[3] = 3.14;"
