Martin Sumner 2cb87f3a6e Develop 3.1 eqc (#339) ... * Add EQC profile Don't run EQC tests, unless specifically requested e.g. `./rebar3 as eqc eunit --module=leveled_eqc` * Remove eqc_cover parse_transform Causes a compilation issue with the assertException in leveled_runner * Allow EQC test to compile EQC only works on OTP 22 for now, but other tests should still work on OTP 22 and OTP 24 * Add more complex statem based eqc test * Add check for eqc profile		2021-05-26 17:40:09 +01:00
..
leveled_simpleeqc.erl	Develop 3.1 eqc (#339)	2021-05-26 17:40:09 +01:00
leveled_statemeqc.erl	Develop 3.1 eqc (#339)	2021-05-26 17:40:09 +01:00