restrict usage of constructors
continue on test error
stop test after maxDiscarded
stop test after maxFails
maximal random number of array elements tested
stop test after maxSuccess
maximal random number tested
minimal random number tested
random initialize test data