Integrate with code coverage?

[linearregression]

Is there any documentation of showing that the results are integrated with code coverage?
For example,
would like to see that the tests will add to coder coverage with unit and common tests.

[drozzy]

Just run your property-based test from eUnit and use that to monitor coverage?

E.g. add this to your property module, and run eunit:

property_test() -> true == check().

and enable code coverage in rebar3 config:

{cover_enabled, true}.