verbose
Parameters ScalaCheckProperty