Klaus Alfert

I am currently working on a recursive translation of PropEr's command sequence generator. You more or less encouraged me to look more closely into their implementation, since they don't have...

Back, after a long time.... I tried to translate the recursive command generators of proper, but I alway ran against the wall since list construction is not allowed by `call`...

As a funny co-incidence of @keathley' new issue #94, I finally had a good idea to implement the PropEr API for stateful testing including shrinking on top of `stream_data`. You...

I just saw this issue today, so my comments are perhaps a little bit late. I just implemented the same feature for `prop_check`, which uses PropEr as backend. In PropEr,...

This could be a duplicate of #24. All coverage information comes from the Erlang coverage utility. The job of coverex is to generate nicely formatted reports. I use the analysis-functions...

Yes, I am interested to understand whether it's an issue with `cover` or with `coverex`.

Ouch. I get also very interesting numbers on the console for that file: 42% coverage is not the intuitively expected value of 75% :-/ My initial guess is that macro...

The `defstruct` issue is interesting, but it follows the above thread: `defstruct` is a macro, executed during compile time. It creates a bunch byte code which is attached to the...

I am open to this and will gladly accept a PR. The wish for different output is there for a couple of years, but not nagging enough :-)

The cobertura dtd is here: https://github.com/cobertura/web/blob/master/htdocs/xml/coverage-04.dtd