err508

I looked into hypothesis, but I think it its beneficial to do that by ourselves, as we should fully control the testing and might also reuse the formalizations for docs/tutorials....

> I am not convinced. I would go for the minimal effort way of re-using an existing library rather than creating a driver for these scenarios property testing on our...

@hackaugusto I still don't see how we would use Hypothesis for SC testing. I would just log timestamps + test inits before running the test. If travis has some form...

@pirapira Impressive finding! Testing the integrity of the implementation was something I did not have in mind when creating this issue, I was thinking about a formalization like in #188...