parser: add proptest round-trip fuzzing for AST pretty-printing#64
Conversation
Add a proptest-based alternative to libFuzzer for aarch64-friendly round-trip testing: generate random programs, materialize them into ASTs, pretty-print via Display, re-parse, and compare s-expr signatures. Includes a hand-written AST generator, smoke tests, and proptest regression seeds. Closes uutils#41
Franklin-Qi
force-pushed
the
feature-task#41-Parser-fuzzing
branch
from
6f8d320 to
09f3b43
Compare
|
I really want to get this reviewed soon, I promise :) My backlog grows quicker than I can get to it... Tomorrow I'll try to take down my review queue for uutils coreutlis and get to this. If I have the time, I'll take down a few trivial parser issues I have noted locally, or otherwise open them in the issue tracker. |
Thank you very much for your review. Don't worry, you can submit any issues you find when you have time, and I will process them promptly. Let's work together to improve the awk project. |
Alonely0
left a comment
Alonely0
left a comment
There was a problem hiding this comment.
The code itself looks great, tysm! The only nitpick I have is workspace organization, I think it's a bit all over the place for my taste, with three different modules for related to testing. I can handle that small refactoring, tho :)
2 participants
Add a proptest-based alternative to libFuzzer for aarch64-friendly round-trip testing: generate random programs, materialize them into ASTs, pretty-print via Display, re-parse, and compare s-expr signatures.
Includes a hand-written AST generator, smoke tests, and proptest regression seeds.
Closes #41