Hi Jamey, On 05/29/2016 11:40 PM, Jamey Sharp wrote:
Hi! John Regehr said I should bring this up here: I'd like to have a csmith option to not generate or use global variables, or at least to generate only read-only globals. Any chance someone feels like implementing that?
I just committed some code that allows the generator to not generate global variables if --no-global-variables is passed. See if it works for you. Note that with --no-global-variables, all the generated programs will produce the same checksum 0, because we compute checksums using global variables.
- Yang