From 0bb4ac0fea13f19ca48f3306a9ad373731bea098 Mon Sep 17 00:00:00 2001
From: Thomas Arts <thomas.arts@robuster.software>
Date: Mon, 27 May 2019 13:30:38 +0200
Subject: [PATCH] Rough model to fuzz test aeb_fate_code

---
 rebar.config | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rebar.config b/rebar.config
index 99ed2cd..350bc29 100644
--- a/rebar.config
+++ b/rebar.config
@@ -53,7 +53,7 @@
                                      "/njs /njh /nfl /ndl & exit /b 0"} % silence things
                                    ]}
                      ]},
-             {eqc, [{erl_opts, [{parse_transform, eqc_cover}]},
+             {eqc, [{erl_opts, [{parse_transform, eqc_cover}, {d, 'EQC'}]},
                     {extra_src_dirs, ["quickcheck"]}    %% May not be called eqc!
                    ]}
             ]}.