From d6fbc7345053eeb567c543a46d01183a7635a8b4 Mon Sep 17 00:00:00 2001
From: Thomas Arts <thomas.arts@robuster.software>
Date: Mon, 3 Jun 2019 13:34:37 +0200
Subject: [PATCH] Quicker testing with smaller terms

---
 quickcheck/aefate_eqc.erl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/quickcheck/aefate_eqc.erl b/quickcheck/aefate_eqc.erl
index 4f3739a..e67d07a 100644
--- a/quickcheck/aefate_eqc.erl
+++ b/quickcheck/aefate_eqc.erl
@@ -51,7 +51,7 @@ prop_serializes() ->
 
 prop_fuzz() ->
     in_parallel(
-    ?FORALL(Binary, ?LET(FateData, fate_data(), aeb_fate_encoding:serialize(FateData)),
+    ?FORALL(Binary, ?LET(FateData, ?SIZED(Size, resize(Size div 4, fate_data())), aeb_fate_encoding:serialize(FateData)),
             ?FORALL(InjectedBin, injection(Binary),
                     try Org = aeb_fate_encoding:deserialize(InjectedBin),
                          NewBin = aeb_fate_encoding:serialize(Org),