emil-e
emil-e
Asserting in generators is easy to do by mistake, especially in the state testing framework. To make it easier to diagnose, don't print it just as an unknown exception in...
Headers like `Results.h` contain a lot of stuff... maybe it should be broken apart?
Assuming there are no globals, you can most likely run multiple test cases in parallel. Also useful when searching for shrinks... gotta be a lot faster?
Some of the type erasure in Shrinkable combinators and Seq combinators can perhaps be removed. However, it cannot be at the cost of increased compile time.
For example, `std::__1::chrono::duration` should print as `std::chrono::seconds`. Also, there is no `showType` implementation and there should be.
`Seq`, `Shrinkable` etc. Most people won't need to understand it but those that do will probably be grateful.