19 lines
590 B
Diff
19 lines
590 B
Diff
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())].
|
|
|