This is realized through the following command line options in commit a13932: --incr-decr-operators --no-incr-decr-operators --embedded-assigns --no-embedded-assigns --comma-operators --no-comma-operators -Xuejun From: csmith-dev-bounces@flux.utah.edu [mailto:csmith-dev-bounces@flux.utah.edu] On Behalf Of Pascal Cuoq On Fri, Aug 5, 2011 at 6:08 PM, John Regehr <regehr@cs.utah.edu> wrote: 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 :) Pascal |