c4-project / c4f

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

Expression generator: consider narrowing operator choice policy #240

Open MattWindsor91 opened 3 years ago

MattWindsor91 commented 3 years ago

Per YARPGen paper: one of the ideas YARPGen has is to periodically narrow the choice of available operators available to the expression generator, so as to trigger certain folding-of-particular-types-of-operator optimisations. It's not a high priority that we do the same, but it might be useful to do so.