From 3df6d2d92968b2f5596a4c6c406ae4821cfe0761 Mon Sep 17 00:00:00 2001
From: Pierre Fenoll <pierrefenoll@gmail.com>
Date: Sun, 17 Jun 2018 23:14:38 +0200
Subject: [PATCH] seed: tmp fix waiting on @TheGeorge
---
src/proper_target.erl | 3 ++-
test/proper_tests.erl | 1 +
2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/proper_target.erl b/src/proper_target.erl
index caf4f5cd..6e1b82ec 100644
--- a/src/proper_target.erl
+++ b/src/proper_target.erl
@@ -171,7 +171,8 @@ init_strategy(Strat) ->
-spec cleanup_strategy() -> ok.
cleanup_strategy() ->
(strategy()):cleanup(),
- erase('$strategy'), ok.
+ erase('$strategy'),
+ ok.
%% @private
-spec get_target(key(), tmap()) -> target().
diff --git a/test/proper_tests.erl b/test/proper_tests.erl
index aa306f7e..a8252ba0 100644
--- a/test/proper_tests.erl
+++ b/test/proper_tests.erl
@@ -1048,6 +1048,7 @@ seeded_test_() ->
QC = fun (Prop) ->
R = proper:counterexample(Prop, Opts),
proper:clean_garbage(),
+ catch proper_target:cleanup_strategy(),
R
end,
[[?_state_is_clean(), ?_assertEqual(QC(Prop),Check)]