On Fri, Aug 5, 2011 at 6:08 PM, John Regehr <firstname.lastname@example.org>
Pascal would like an option to turn off side-effecting assignments.
I think John means side-effecting expressions here.
These had not received much testing in Frama-C.
In my case, this option would solve the problem
of continuing to work with Csmith when bugs have
already been identified and are in the pipeline.
Besides, options that allow generation of simpler programs
are very useful when trying Csmith on a new compiler.
The first tries uncover an overwhelming quantity of
issues and it's nice to have easier programs for starting up.
Keep up the good work :)