From 910fbc6a10fabee139a50ed9d47ee113f32c3cce Mon Sep 17 00:00:00 2001
From: Pierre Fenoll <pierrefenoll@gmail.com>
Date: Fri, 18 May 2018 12:36:25 +0200
Subject: [PATCH] seed: that works
---
test/proper_tests.erl | 1 +
1 file changed, 1 insertion(+)
diff --git a/test/proper_tests.erl b/test/proper_tests.erl
index 0587c3df..8b565cb4 100644
--- a/test/proper_tests.erl
+++ b/test/proper_tests.erl
@@ -1048,6 +1048,7 @@ seeded_test_() ->
QC = fun (Prop) ->
R = proper:quickcheck(Prop, Opts),
proper:clean_garbage(),
+ catch proper_target:cleanup_strategy(),
R
end,
[[?_state_is_clean(), ?_assertEqual(QC(Prop),Check)]