freeBad Trace summary:

Step 1: State 0 -- freeBad.c line 5 [main@0->main@1] "free(p);"

freeBad Trace details:

begin State 0
  onStack = true;
  seen = true;
  pathCondition : true
  begin model state
    begin shared variables
    end shared variables;
    begin process 0
      begin stack frame 0
        function : main;
        location : 0;
        x = undefined (real);
        p = &x (Ref[real]);
      end stack frame 0;
    end process 0;
  end model state
end State 0

Step 1: State 0 -- freeBad.c line 5 [main@0->main@1] "free(p);"
