linkedListDeletionFail Trace summary:

Step 1: State 0 -- linkedListDeletionFail.c line 14 [main@0->main@1] "a = &u1;" -> State 1
Step 2: State 1 -- linkedListDeletionFail.c line 16 [main@1->main@2] "free(a);"

linkedListDeletionFail 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;
        u1 = edu.udel.cis.vsl.tass.dynamic.impl.value.RecordValue@cc2f465 (Record[Node; next:Ref[Record[Node; next:..., value:int]], value:int]);
        a = undefined (Ref[Record[Node; next:..., value:int]]);
      end stack frame 0;
    end process 0;
  end model state
end State 0

Step 1: State 0 -- linkedListDeletionFail.c line 14 [main@0->main@1] "a = &u1;" -> State 1

begin State 1
  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 : 1;
        u1 = edu.udel.cis.vsl.tass.dynamic.impl.value.RecordValue@cc2f465 (Record[Node; next:Ref[Record[Node; next:..., value:int]], value:int]);
        a = &u1 (Ref[Record[Node; next:Ref[Record[Node; next:..., value:int]], value:int]]);
      end stack frame 0;
    end process 0;
  end model state
end State 1

Step 2: State 1 -- linkedListDeletionFail.c line 16 [main@1->main@2] "free(a);"
