QPQ-AG/gmbytecode
10
0
Fork 0
Code Issues 1 Pull Requests 1 Actions Packages Projects Releases 9 Wiki Activity

Add eqc profile

Browse Source
This commit is contained in:
Thomas Arts 2019-02-28 13:34:03 +01:00
parent a51a864059
commit 9d056dc620
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
rebar.config
View File

@ -45,5 +45,8 @@
"robocopy \"%REBAR_BUILD_DIR%/bin/\" ./ aefateasm* " "robocopy \"%REBAR_BUILD_DIR%/bin/\" ./ aefateasm* "
"/njs /njh /nfl /ndl & exit /b 0"} % silence things "/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!
]}
]}.