anchor.diff:  start_fsm(State) ->
             execute_fsm(State, []).
   
  -execute_fsm(#fsm_state{block_count=0,
  -                       dummy_pid=DummyPid},
  +execute_fsm(#fsm_state{block_count=0},
               States) ->
               lists:reverse(States);
   execute_fsm(FsmState=#fsm_state{dummy_pid=DummyPid,
  
positive.code: 
                     %% Start the fsm processing and capture the state transitions
                     ActualStates = start_fsm(FsmState),
                     ?WHENFAIL(
                        begin
                            ?debugFmt("Expected States ~p~nActual States: ~p~n", [ExpectedStates, ActualStates]),
  
negative.code:        fun setup/0,
         fun cleanup/1,
         [%% Run the quickcheck tests
          {timeout, 300,
           ?_assertEqual(true, quickcheck(numtests(?TEST_ITERATIONS, ?QC_OUT(prop_put_fsm()))))}
         ]
        }
  