search

kellymclaughlin / rebar3-eqc-plugin

A rebar3 plugin to enable the execution of Erlang QuickCheck properties
Apache License 2.0
13 stars 20 forks source link

Support the status of EQC availability changing at runtime #30

Open Vagabond opened 5 years ago

Vagabond commented 5 years ago

One problem with the current plugin is that if it's compiled before EQC is available, it won't work thereafter until you manually delete it and force it to be recompiled. This can happen quite a bit if you have several Erlang installs and switch between them, but don't have EQC installed in every one.

This PR allows the plugin to recompile itself if the status of EQC changes, when EQC is not available it tells you to install it and when EQC becomes available the plugin recompiles itself to reflect that.

Additionally this PR fixes an issue with coverdata from EQC tests being written.

kellymclaughlin commented 5 years ago

Thanks, Andrew! Give me a couple of days to look over this and I'll get it merged and make a new release.

Vagabond commented 5 years ago

28 is actually quite similar but a lot less complicated (but the coverdata fix still seems useful).