c4-project / c4t

Runs concurrent C compiler tests
MIT License
1 stars 0 forks source link

Allow fuzzer disabling in director #122

Closed MattWindsor91 closed 3 years ago

MattWindsor91 commented 3 years ago

Add a flag to the configuration (and/or command line) disabling the fuzzer in the director, something like -F and

[fuzzer]
disabled = true

Not sure of the best way to do this yet, but for now it's probably best just to cause the fuzzer stage to drop out of rotation entirely (we could use NopFuzzer but then we'd have unnecessary rounds of sampling etc).