Skip to content

Commit

Permalink
Update documentation
Browse files Browse the repository at this point in the history
  • Loading branch information
dubzzz committed May 11, 2018
1 parent fb4c456 commit 8fb4c79
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
1 change: 1 addition & 0 deletions README.md
Expand Up @@ -317,6 +317,7 @@ export interface Parameters {
path?: string; // optional, way to replay a failing property directly with the counterexample
// it can be fed with the counterexamplePath returned by the failing test (requires seed too)
logger?: (v: string) => void; // optional, log output: console.log by default
unbiased?: boolean; // optional, force the use of unbiased arbitraries: biased by default
}
```

Expand Down
2 changes: 1 addition & 1 deletion src/check/runner/utils/utils.ts
Expand Up @@ -9,7 +9,7 @@ interface Parameters {
*/
seed?: number;
/**
* Optional, number of runs before success: 100 by default
* Number of runs before success: 100 by default
*/
numRuns?: number;
/**
Expand Down

0 comments on commit 8fb4c79

Please sign in to comment.