[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [csmith-dev] command line flag request

This is realized through the following command line options in commit a13932:











From: csmith-dev-bounces@flux.utah.edu [mailto:csmith-dev-bounces@flux.utah.edu] On Behalf Of Pascal Cuoq
Sent: Friday, August 05, 2011 2:36 PM
To: John Regehr
Cc: csmith-dev@flux.utah.edu
Subject: Re: [csmith-dev] command line flag request



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 :)