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())].