anchor.diff:                    Val2  -> list_to_integer(Val2)
                 end,
       {Timeout, ExtraTO}.
  +
  +get_do_shrink() ->
  +    case os:getenv("PULSE_NOSHRINK") of
  +        false ->
  +            false;
  +        _ ->
  +            true
  +    end.
   
   shutdown_hard() ->
       (catch unlink(whereis(machi_partition_simulator))),
  
positive.code:          (catch exit(Pid, kill))
       end || X <- [machi_partition_simulator, machi_flu_sup] ],
      timer:sleep(1),
      ?QC_FMT(")", []),
      ok.
  
  exec_ticks(Num, All_listE) ->
  
negative.code: 
  prop_pulse_new_test_() ->
      {Timeout, ExtraTO} = get_timeouts(),
      DoShrink = get_do_shrink(),
      F = fun() ->
               ?assert(do_quickcheck(DoShrink, Timeout, new))
          end,
      case os:getenv("PULSE_SKIP_NEW") of
          false ->
  