anchor.diff:              {'verbose', V} -> V;
               false -> ?DEFAULT_VERBOSITY
           end,
  -    %% If `Verbosity' level is 2 or greater then check
  -    %% for uninstrumented (blackboxed) modules.
  -    CheckBBModules = Verbosity >= 2,
       %% Get the modules we are going to instrument and save
       %% them to `NT_INSTR_MOD' for future reference.
       InstrModules = [{concuerror_util:get_module_name(F)} || F <- Files],
  
positive.code: -spec delete_and_purge() -> 'ok'.
  delete_and_purge() ->
      %% Unload and purge modules.
      ModsToPurge = [IM || {IM} <- ets:tab2list(?NT_INSTR_MOD)],
      Fun = fun (M) -> code:purge(M), code:delete(M), code:purge(M) end,
      lists:foreach(Fun, ModsToPurge),
      %% Delete temp directory (ignore errors).
  
negative.code:             InstrOne =
                  fun(File) ->
                      instrument_and_compile_one(File, Includes,
                          Defines, DirName, Verbosity)
                  end,
              MFBs = concuerror_util:pmap(InstrOne, Files),
              case lists:member('error', MFBs) of
  