anchor.diff:      io:format(Io, "~s", [jsx:prettify(EncodedJsonTrace)]),
       file:close(Io),
   
  +    %% Test finished time.
  +    EndTime = os:timestamp(),
  +
  +    io:format("Test started: ~p~n", [StartTime]),
  +    io:format("Test ended: ~p~n", [EndTime]),
  +    io:format("Test took: ~p~n", [timer:now_diff(EndTime, StartTime)]),
  +
       ok.
   
   %% @private
  
positive.code: %%       (optional delivery, not reified in the trace.)
  
  main([TraceFile, ReplayTraceFile, CounterexampleConsultFile, RebarCounterexampleConsultFile, PreloadOmissionFile]) ->
      %% Open ets table.
      ?MODULE = ets:new(?MODULE, [named_table, set]),
  
  
negative.code:     PT = powerset(T),
      [ [H|X] || X <- PT ] ++ PT.
  
  %% @private
  format_message_payload_for_json(MessagePayload) ->
      list_to_binary(lists:flatten(io_lib:format("~w", [MessagePayload]))).