Checks of fails/1 have underdeveloped output
When checking a property created by triq:fails/1
, it looks like the following when it succeeds (there is at least one failing example):
Testing ercoin_fee_tests:prop_fees_are_sometimes_positive/0
.Failed!
Ran 1 tests
It looks like the following when it fails (all examples pass):
Testing ercoin_fee_tests:prop_fees_are_sometimes_positive/0
....................................................................................................
Failed after 0 tests with unexpected_success
Simplified:
? = nil
The presence of “Failed!” in the former case may be misleading, as it means success, and in the latter case pseudosimplification is unnecessary and also “after 0 tests” should probably be removed.