anchor.diff:    ets:delete(Processes),
     ExitStatus.
   
  +%%------------------------------------------------------------------------------
  +
   -spec maybe_cover_compile() -> 'ok'.
   
   maybe_cover_compile() ->
  
positive.code: 
  -module(concuerror).
  
  -export([run/1, maybe_cover_compile/0, maybe_cover_export/1]).
  
  -export_type([exit_status/0]).
  
  -type exit_status() :: 'ok' | 'error' | 'fail'.
  
  -include("concuerror.hrl").
  
  -spec run(concuerror_options:options()) -> exit_status().
  
  
negative.code:      true -> ok
    end.
  
  %%------------------------------------------------------------------------------
  
  explain(Reason) ->
    try
      {Module, Info} = Reason,
  