anchor.diff:      end.
   
   %% Run all unit tests.
  --spec test() -> ok.
  +-spec test() -> 'ok'.
   
   test() ->
       io:format("Starting unit test.~n~n"),
  -    test_all(1, 5, 0).
  +    test_all(1, 7, 0).
   
   %% Run a specific unit test.
  --spec test(integer() | atom() | [atom()]) -> ok.
  +-spec test(integer() | atom() | [atom()]) -> 'ok'.
   
   test([X]) ->
       test(X);
  -
   test(X) when is_atom(X) ->
       test(list_to_integer(atom_to_list(X)));
  -
   test(1) ->
       io:format("Checking set interface:~n"),
       Set1 = set_new(),
  
positive.code: 	    NewState = state_get_next(State, Next),
  	    %% Call the dispatcher to handle incoming messages from the
  	    %% running process.
  	    NewInfo = dispatcher(Info#info{active = NewActive, state = NewState}),
  	    driver(NewInfo, Rest)
      end.
  
  
negative.code: 
  %% Debug messages (TODO: define externally?).
  -define(DEBUG, false).
  
  %%%----------------------------------------------------------------------
  %%% Types
  %%%----------------------------------------------------------------------
  
  -type lid()  :: string().
  -type dest() :: pid() | port() | atom() | {atom(), node()}.
  
  %%%----------------------------------------------------------------------
  %%% Records
  