seed: WIP

proper-testing · May 17, 2018 · 33888c4 · 33888c4
1 parent 8c13fdb
commit 33888c4
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/test/proper_tests.erl b/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))
     ].