Migrating from theories to properties

  • Instead of the Theories runner, with @Theory methods with parameters marked @ForAll, we use the JUnitQuickcheck runner, with @Property methods.
  • There are Property.trials() executions of the property, instead of a combinatorial number of executions of a Theory
  • Use the @When annotation to control seed and parameter value generation if desired
  • You can still mark property parameters with configuration annotations, just like you did with @ForAll theory parameters
  • Your generators should work the same as before