Closed luc-tielen closed 8 years ago
config either via file or command line args, default = 100?
Iteration amount can be provided with --numtests, default = 100. Same goes for --numshrinks for shrink amount.
config either via file or command line args, default = 100?