search

c4-project / c4f

The C4 Concurrent C Fuzzer
MIT License
13 stars 1 forks source link

Allow dumping of fuzzer final state on fuzzer runs #244

Closed MattWindsor91 closed 3 years ago

MattWindsor91 commented 3 years ago

We have a lot of expects tests of the form 'perform a fuzzer action on a sample program, and check the final program and variable output'. These could be a lot nicer if they are instead rewritten to regression tests over initial (minimal viable) programs and traces, similar to the trace replay regressions we have at the moment. This would need us to be able to get at the final state - which might be a nice feature to have in general, for debugging.

This might need me to bypass the filter boilerplate a bit, I'm unsure.

MattWindsor91 commented 3 years ago

Done; see -state-output. (One day, it might be nice to let this be stdout.)