On Thu, 30 May 2013, Lukas Bulwahn wrote: > I used the Bavarian holiday today to get the aforementioned Quickcheck > tool into a stable state. The latest stable version is at: > > https://bitbucket.org/nicolai490/qcheck_tum I've started looking, and will come back on this in a few minites. (For now just a fresh mail thread on a fresh topic.) Makarius