seed: that works

fenollp · fenollp · commit 910fbc6a10fa · 2018-05-19T16:05:15.000+02:00
diff --git 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)]

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