Closed dmcdougall closed 4 months ago
Sometimes it's enough to reduce a testcase by, say, 95%. This commit lets the user specify this threshold and CVise doesn't need to spend time trying to make progress until it can no longer do so.
For example:
cvise <args> --stopping-threshold 0.95 ./interesting.sh test_case
This can speed up CVise in some cases.
Constructive feedback is very welcome.
I like the idea! Please run ruff format.
ruff format
Lemme fix the format.
Sometimes it's enough to reduce a testcase by, say, 95%. This commit lets the user specify this threshold and CVise doesn't need to spend time trying to make progress until it can no longer do so.
For example:
cvise <args> --stopping-threshold 0.95 ./interesting.sh test_case
This can speed up CVise in some cases.
Constructive feedback is very welcome.