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

Re: [csmith-bugs] Assertion fail



Ok thanks :)

Vikram

On Thu, May 26, 2011 at 7:17 PM, Eric Eide <eeide@cs.utah.edu> wrote:
       Vikram> What i am thinking is: i'm using default probability
       Vikram> configuration file generated as it is. So, it works properly if
       Vikram> i do not pass a probability configuration explicitly, it should
       Vikram> have the same behavior even after passing default values
       Vikram> explicitly through configuration file.

This is not how `--no-volatiles' is implemented.  `--no-volatiles' is mainly
implemented by setting the relevant probabilities to zero.

Eric.

--
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX