Boyd Stephen Smith Jr.

So, I sent a message to the #diris mailing list, after subscribing, but it still hasn't shown up on the web version and I haven't gotten a response.

So, I join the Idris Discord (ugh, but I already have Discord for other things) and now it is being shut down in favor of Zulip (wtf is zulip?).

Anyway, does anyone know I good tool/library/framework to get code coverage numbers out of my existing (Hedgehog) test suite? Additionally, or even better, is there a mutation testing thing for Idris that can give me code coverage that way?

Apr 6 at 6:00pmWeb
Show threadShae ErissonApr 6

@BoydStephenSmithJr hpc is good for coverage in Haskell, dunno anything about Idris though.

I did write an unmaintained coverage driven property based testing wrapper: https://github.com/shapr/kudzu

It's essentially "Keep running property tests until the "amount" of code coverage is the same for N iterations of one test." with N defaulting to 40 for no particular reason.

[1] https://github.com/shapr/kudzu/blob/main/src/Kudzu.hs#L56

Show threadShae ErissonApr 6
@BoydStephenSmithJr Also, I like zulip better than discord for a variety of reasons!