Merge branch 'dev' into reinit

This commit is contained in:
van Hauser
2023-09-11 12:54:21 +00:00
committed by GitHub
6 changed files with 76 additions and 20 deletions

View File

@ -3442,7 +3442,12 @@ abandon_entry:
--afl->pending_not_fuzzed;
afl->queue_cur->was_fuzzed = 1;
afl->reinit_table = 1;
if (afl->queue_cur->favored) { --afl->pending_favored; }
if (afl->queue_cur->favored) {
--afl->pending_favored;
afl->smallest_favored = -1;
}
}
@ -5906,8 +5911,10 @@ pacemaker_fuzzing:
--afl->pending_not_fuzzed;
afl->queue_cur->was_fuzzed = 1;
afl->reinit_table = 1
if (afl->queue_cur->favored) { --afl->pending_favored; }
if (afl->queue_cur->favored) {
--afl->pending_favored;
afl->smallest_favored = -1;
}
}
}