see code: t1: Failing CalculatorTest. Fix it.
Oh hey, these are some notes. visible if you open the speaker notes window (hit 's' on your keyboard).
evtl. show dependencies in pom.xml
code: add CalculatorProperties with @Property Test for commutative and zero element
show in code: set trials = 2, run twice: different data, set seed, same data
add test for the last property that increases the amount
show disabling of shrinking
code: show restriction to values above zero.
code: show fix of the issue before by configuration of Generator