Fix derp mistakes in noshrink env handling for PULSE test

This commit is contained in:
Scott Lystig Fritchie 2015-07-17 14:45:40 +09:00
parent 0a8821a1c6
commit 50b2a28ca4

View file

@ -439,9 +439,8 @@ do_quickcheck(true, Timeout, Style) ->
eqc:quickcheck(eqc:testing_time(Timeout, eqc:quickcheck(eqc:testing_time(Timeout,
?QC_OUT(prop_pulse(Style)))); ?QC_OUT(prop_pulse(Style))));
do_quickcheck(false, Timeout, Style) -> do_quickcheck(false, Timeout, Style) ->
noshrink(
eqc:quickcheck(eqc:testing_time(Timeout, eqc:quickcheck(eqc:testing_time(Timeout,
?QC_OUT(prop_pulse(Style))))). ?QC_OUT(noshrink(prop_pulse(Style))))).
get_timeouts() -> get_timeouts() ->
Timeout = case os:getenv("PULSE_TIME") of Timeout = case os:getenv("PULSE_TIME") of
@ -457,9 +456,9 @@ get_timeouts() ->
get_do_shrink() -> get_do_shrink() ->
case os:getenv("PULSE_NOSHRINK") of case os:getenv("PULSE_NOSHRINK") of
false -> false ->
false; true;
_ -> _ ->
true false
end. end.
shutdown_hard() -> shutdown_hard() ->