seed: WIP

Author: fenollp

test/proper_tests.erl

@@ -1045,13 +1045,13 @@ seeded_test_() ->
     Opts = [{seed,Seed}, noshrink, {start_size,65536}],
     Check = fun (Prop) ->
                     R = proper:quickcheck(Prop,Opts),
-                    proper:clean_garbage(),
+                    %% proper:clean_garbage(),
                     R
             end,
     Prop = ?FORALL(_,integer(),false),
-    PropSA = ?FORALL_TARGETED(I,integer(), begin ?MAXIMIZE(I),false end),
+    %% PropSA = ?FORALL_TARGETED(I,integer(), begin ?MAXIMIZE(I),false end),
     [?_assertEqual(Check(Prop), Check(Prop))
-    ,?_assertEqual(Check(PropSA), Check(PropSA))
+    %% ,?_assertEqual(Check(PropSA), Check(PropSA))
      %% ,?_assertEqual(Check(PropSA), Check(Prop))
     ].