seed: tmp fix waiting on @TheGeorge

proper-testing · Jun 17, 2018 · 3df6d2d · 3df6d2d
1 parent 7720b60
commit 3df6d2d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git 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
@@ -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)]