Once https://github.com/CodeIntelligenceTesting/jazzer/pull/897 is merged jazzer should be update to avoid relying, in the long-term, on the fix done here https://github.com/google/oss-fuzz/pull/11614 This supersedes https://github.com/google/oss-fuzz/issues/11613
Once CodeIntelligenceTesting/jazzer#897 is merged jazzer should be update to avoid relying, in the long-term, on the fix done here #11614
This supersedes #11613