Coverage percents - BUG?

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
3 messages Options
Baa
Reply | Threaded
Open this post in threaded view
|

Coverage percents - BUG?

Baa
Hello, all! Currently I'm trying to add coverage report to my
application tests, and I see such line in the HPC report:

  ..
  100% boolean coverage (0/0)
  ..

but 0/0 =/= 100% (an undefined limit ;)  IMHO better is to be
reported as 0. Is it a bug in HPC?

===
Best regards, Paul
_______________________________________________
Beginners mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
Reply | Threaded
Open this post in threaded view
|

Re: Coverage percents - BUG?

Michael Orlitzky
On 10/04/2017 03:59 AM, Baa wrote:
>
>   ..
>   100% boolean coverage (0/0)
>   ..
>
> but 0/0 =/= 100% (an undefined limit ;)  IMHO better is to be
> reported as 0. Is it a bug in HPC?
>

For all tests t, t passed -- vacuous truth to the rescue! Or, 100% of
zero is zero. Don't think too hard about it =)

From a practical standpoint, you probably don't want your integration
tests to reject a commit because you have 0% coverage on something that
doesn't exist. For that reason, a "success" result is better when you
have no coverage of no things.

_______________________________________________
Beginners mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
Baa
Reply | Threaded
Open this post in threaded view
|

Re: Coverage percents - BUG?

Baa
Hello, Michael.
> From a practical standpoint, you probably don't want your integration
> tests to reject a commit because you have 0% coverage on something
> that doesn't exist. For that reason, a "success" result is better
> when you have no coverage of no things.

absolutely make sense :)
Thanks!

> _______________________________________________
> Beginners mailing list
> [hidden email]
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners

_______________________________________________
Beginners mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners