LucaCappelletti94 commented on PR #2527: URL: https://github.com/apache/datafusion-sqlparser-rs/pull/2527#issuecomment-5765377845
Basically here if I understood how it works, you have: 1) the [.github/workflows/cflite_build.yml](https://github.com/apache/datafusion-sqlparser-rs/pull/2527/files/e85e2c50668af825c5f528ee1c71405f319d0962#diff-6a380eaf4eb765b7f8021b58c945424b0cef11356e166e1a5b223e6792572bac) builds the main fuzzer harness, our `g` 2) a PR comes along, and triggers the [.github/workflows/cflite_pr.yml](https://github.com/apache/datafusion-sqlparser-rs/pull/2527/files/e85e2c50668af825c5f528ee1c71405f319d0962#diff-901d28e78554ed027d6845dc00bca07d9fa96a70159d9d5db422de24de389f46) workflow, and builds the PR branch fuzzer harness, our `f` 3) When, as in https://github.com/apache/datafusion-sqlparser-rs/pull/2530 there is no `g` compatible to `f`, `g` collapses to be an infallible function 4) The fuzzer starts generating inputs, feeds `f(x)`, if `f(x)` crashes it checks `g(x)`. If the latter crashes, the bug is old, otherwise it is new. So for any given fuzzer iteration, `f`, `g`, and `x` are given by that iteration of the fuzzer `h`, then it will produce `x'` and iterate onward. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
