Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[reducer] Failed reduction attempt due to low target probability #83

Closed
tysmith opened this issue Oct 24, 2019 · 1 comment
Closed

[reducer] Failed reduction attempt due to low target probability #83

tysmith opened this issue Oct 24, 2019 · 1 comment
Labels

Comments

@tysmith
Copy link
Collaborator

tysmith commented Oct 24, 2019

The test case was not 100% reliable however we settle on --min-crashes=2 --repeat=2 for reduction.

...
[2019-10-24 14:05:31] Running for 11 iterations to assess reliability using harness.
...
[2019-10-24 14:12:00] Testcase was interesting 90.9% of 11 attempts using harness for iteration.
[2019-10-24 14:12:00] Running for 11 iterations to assess reliability without harness.
...
[2019-10-24 14:20:15] Testcase was interesting 54.5% of 11 attempts without harness.
[2019-10-24 14:20:15] Analysis results:
[2019-10-24 14:20:15] * testcase was more reliable with the harness
[2019-10-24 14:20:15] * adjusted parameters: --min-crashes=2 --repeat=2 --relaunch=2
[2019-10-24 14:20:15]   Tests performed: 22
[2019-10-24 14:20:15]   Test total: 44 lines
[2019-10-24 14:20:15] AnalyzeTestcase succeeded
[2019-10-24 14:20:15] Reducing /tmp/grzreduceJ0R0mK/tc/harness_XT1yKR.html with minimize on lines
[2019-10-24 14:20:15] The original testcase has 2 lines.
[2019-10-24 14:20:15] Checking that the original testcase is 'interesting'...
[2019-10-24 14:21:28] Uninteresting: no failure detected
[2019-10-24 14:21:28] Lithium result: the original testcase is not 'interesting'!
[2019-10-24 14:21:28]   Tests performed: 1
[2019-10-24 14:21:28]   Test total: 2 lines
[2019-10-24 14:21:28] Could not reduce: The testcase was not reproducible
[2019-10-24 14:21:28] Reduction failed: QUAL_NOT_REPRODUCIBLE
[2019-10-24 14:21:28] Shutting down...
@tysmith tysmith added the bug label Oct 24, 2019
@tysmith tysmith changed the title [reducer] Failed reduction attempt due to bad rounding [reducer] Failed reduction attempt due to low target probability Oct 24, 2019
@jschwartzentruber
Copy link
Collaborator

Fixed in 855739c.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants