remove commented test code

helium · Jul 15, 2018 · 4223301 · 4223301
1 parent 369e514
commit 4223301
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/eqc/encode_decode_eqc.erl b/eqc/encode_decode_eqc.erl
@@ -26,8 +26,4 @@ prop_encode_decode_match() ->
             end).
 
 gen_players() ->
-    %?SUCHTHAT(Players,
-              %?LET(X,
-                   ?SUCHTHAT(A, int(), A > 4 andalso A < 70).
-                   %X).
-              %Players > 3*Threshold+1 andalso Threshold > 1).
+    ?SUCHTHAT(A, int(), A > 4 andalso A < 70).