From 9d056dc620f4a7c238ecde8f8c5965f0b33f58b0 Mon Sep 17 00:00:00 2001
From: Thomas Arts <thomas.arts@robuster.software>
Date: Thu, 28 Feb 2019 13:34:03 +0100
Subject: [PATCH] Add eqc profile

---
 rebar.config | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/rebar.config b/rebar.config
index 08234fd..2b014b7 100644
--- a/rebar.config
+++ b/rebar.config
@@ -45,5 +45,8 @@
                                      "robocopy \"%REBAR_BUILD_DIR%/bin/\" ./ aefateasm* "
                                      "/njs /njh /nfl /ndl & exit /b 0"} % silence things
                                    ]}
-                     ]}]}.
-
+                     ]},
+             {eqc, [{erl_opts, [{parse_transform, eqc_cover}]},
+                    {extra_src_dirs, ["quickcheck"]}    %% May not be called eqc!
+                   ]}
+            ]}.