seed: tmp fix waiting on @TheGeorge

fenollp · fenollp · commit a6c9f815477d · 2018-06-26T22:11:30.000+02:00
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
@@ -1047,6 +1047,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)]

Original file line number	Diff line number	Diff line change
`@@ -1047,6 +1047,7 @@ seeded_test_() ->`
`1047`	`1047`	`QC = fun (Prop) ->`
`1048`	`1048`	`R = proper:counterexample(Prop, Opts),`
`1049`	`1049`	`proper:clean_garbage(),`
	`1050`	`+ catch proper_target:cleanup_strategy(),`
`1050`	`1051`	`R`
`1051`	`1052`	`end,`
`1052`	`1053`	`[[?_state_is_clean(), ?_assertEqual(QC(Prop),Check)]`