You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
One one run of xmllint, the rare branches queueing mechanism completely stalled, as if no inputs hit the rare branch of interest. This is strange since every input which hits a new branch is saved to the queue (increment_hit_bits is only called in save_if_interesting). Need to reproduce + investigate.
The text was updated successfully, but these errors were encountered:
Hmmm, I hadn't encountered this issue in a while. I can probably fix this by adding some randomization to the input selection process. Do you have a (sometimes) reproducible example where the stalling occurs, perchance?
One one run of xmllint, the rare branches queueing mechanism completely stalled, as if no inputs hit the rare branch of interest. This is strange since every input which hits a new branch is saved to the queue (increment_hit_bits is only called in save_if_interesting). Need to reproduce + investigate.
The text was updated successfully, but these errors were encountered: