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

Re: [csmith-bugs] Assertion fail

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