2010-12-03 bulwahn 2010-12-03 adapting predicate_compile_quickcheck
2010-11-22 haftmann 2010-11-22 generous timeout gives more breath in parallel run on less luxury machines
2010-11-22 bulwahn 2010-11-22 adapting example in Predicate_Compile_Examples
2010-10-25 bulwahn 2010-10-25 changing test parameters in examples to get to a result within the global timelimit
2010-10-22 bulwahn 2010-10-22 splitting Hotel Key card example into specification and the two tests for counter example generation