anchor.diff:  
   prop_pulse_regression_test_() ->
       {Timeout, ExtraTO} = get_timeouts(),
  +    DoShrink = get_do_shrink(),
       F = fun() ->
  -             ?assert(eqc:quickcheck(eqc:testing_time(Timeout,
  -                                             ?QC_OUT(prop_pulse(regression)))))
  +             ?assert(do_quickcheck(DoShrink, Timeout, regression))
           end,
       case os:getenv("PULSE_SKIP_REGRESSION") of
           false ->
  
positive.code:              fun() -> timer:sleep(200),
                        io:format(user, " (skip regression style) ", []) end}
      end.
  
  get_timeouts() ->
      Timeout = case os:getenv("PULSE_TIME") of
  
negative.code:                   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))),
  