search

krestenkrab / triq

Trifork QuickCheck
http://krestenkrab.github.com/triq/
Apache License 2.0
281 stars 54 forks source link

Integrate with code coverage? #56

Open linearregression opened 8 years ago

linearregression commented 8 years ago

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 commented 8 years ago

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}.