This command tests the package according to the
All tests except
--except cannot be combined with
--only cannot be combined with
Adds options for property tests defined using
properties. The following
options are supported:
compile-only: only generate and compile the property tests to generate new test executables. The tests are not executed. By default, the property tests are executed.
no-regenerate: only execute the test executables. The tests are not regenerated.
nr-of-tests:N: perform a maximum of N tests for each property that is being tested. The default maximum number of tests to generate for each property is 1000.
only:MODULE1[+MODULE2+..]: only generate and run tests defined in the given modules. Multiple modules can be given using
+as a separator.
no-regenerate can be used to build an
efficient CI pipeline.
parallel:PROCESSINDEX:PROCESSTOTAL: only perform the tests for which
TEST INDEX % PROCESSTOTAL = PROCESSINDEX. This is useful in CI.