From: Peter Lemenkov <lemenkov@gmail.com> Date: Tue, 12 Nov 2019 22:26:09 +0100 Subject: [PATCH] Disable one test case Signed-off-by: Peter Lemenkov <lemenkov@gmail.com> diff --git a/test/proper_tests.erl b/test/proper_tests.erl index b9c4a49..acf2f75 100644 --- a/test/proper_tests.erl +++ b/test/proper_tests.erl @@ -977,7 +977,6 @@ false_props_test_() -> ])}, {stupid, ?FORALL(_, pos_integer(), throw(woot))} ]))), - {timeout, 20, ?_fails(ets_counter:prop_ets_counter())}, ?_fails(post_false:prop_simple()), ?_fails(error_statem:prop_simple())].