-
Notifications
You must be signed in to change notification settings - Fork 70
Delete nonreduced inputs #157
New issue
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
Conversation
Did a second run. Some stats:
|
lint fail is expected (obviously) |
Looks like |
Looks like the CI passed after 43minutes now: https://cirrus-ci.com/task/4832424811560960?logs=ci#L4022 |
We could add options for that target either to oss-fuzz or in the target itself (e.g. |
Let's create a separate tracking issue for this target? |
The coverage report for this commit: https://drahtbot.space/host_reports/DrahtBot/reports/coverage_fuzz/monotree/004367dba8a3e852/428a2e7b0def5102/fuzz.coverage/index.html |
ACK 428a2e7
|
As per the usual process to avoid wasted CI resources and timeouts when it runs on large and presumed irrelevant inputs.
Previous: #119
To "reproduce"
Install a fresh VM, as explained in the bash script's doc, and run it:
To "test"