cycle Trace summary:

Step 1: State 0 -- cycle.c line 7 [main@0->main@0] "while (n==0)" [true] -> State 1
Step 2: State 1 -- cycle.c line 7 [main@0->main@0] "while (n==0)" [true]

cycle Trace details:

begin State 0
  onStack = true;
  seen = true;
  pathCondition : true
  begin model state
    begin shared variables
      n = X0 (int);
      m = undefined (int);
    end shared variables;
    begin process 0
      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 -- cycle.c line 7 [main@0->main@0] "while (n==0)" [true] -> State 1

begin State 1
  onStack = true;
  seen = true;
  pathCondition : true
  begin model state
    begin shared variables
      n = 0 (int);
      m = undefined (int);
    end shared variables;
    begin process 0
      begin stack frame 0
        function : main;
        location : 0;
      end stack frame 0;
    end process 0;
  end model state
end State 1

Step 2: State 1 -- cycle.c line 7 [main@0->main@0] "while (n==0)" [true]
