input-output-hk / input-output-hk/ptt-cli
Flags for parametrization of testing (number of tests per property, number of success, emulation backend?, ...)
Open
story
- Dominant language
- Haskell
- Stars
- 2
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
## Description
As a user, I want to be able to specify some testing parameters through the CLI (number of tests for PBT, number of success for PBT, which tests to run(?), timeouts(?)) (RS: Basically a useful subset of the Quickcheck parameters, I guess)
## Acceptance Criteria
- [ ] The tool allows the use of flags to customize the testing parameters (on the agreed list)
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.