anchor.diff:              InstrOne =
                   fun(File) ->
                       instrument_and_compile_one(File, Includes,
  -                        Defines, DirName, CheckBBModules)
  +                        Defines, DirName, Verbosity)
                   end,
               MFBs = concuerror_util:pmap(InstrOne, Files),
               case lists:member('error', MFBs) of
  
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:             {'verbose', V} -> V;
              false -> ?DEFAULT_VERBOSITY
          end,
      %% 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],
  