anchor.diff:               fun() -> timer:sleep(200),
                         io:format(user, " (skip regression style) ", []) end}
       end.
  +
  +do_quickcheck(Timeout, Style) ->
  +    do_quickcheck(true, Timeout, Style).
  +
  +do_quickcheck(true, Timeout, Style) ->
  +    eqc:quickcheck(eqc:testing_time(Timeout,
  +                                    ?QC_OUT(prop_pulse(Style))));
  +do_quickcheck(false, Timeout, Style) ->
  +  noshrink(
  +    eqc:quickcheck(eqc:testing_time(Timeout,
  +                                    ?QC_OUT(prop_pulse(Style))))).
   
   get_timeouts() ->
       Timeout = case os:getenv("PULSE_TIME") of
  
positive.code: 
  prop_pulse_regression_test_() ->
      {Timeout, ExtraTO} = get_timeouts(),
      F = fun() ->
               ?assert(eqc:quickcheck(eqc:testing_time(Timeout,
                                               ?QC_OUT(prop_pulse(regression)))))
          end,
      case os:getenv("PULSE_SKIP_REGRESSION") of
          false ->
  
negative.code:          (catch exit(Pid, kill))
       end || X <- [machi_partition_simulator, machi_flu_sup] ],
      timer:sleep(1),
      ok.
  
  exec_ticks(Num, All_listE) ->
  