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

Re: [csmith-bugs] Assertion fail

To: Vikram KS <ksvikram@gmail.com>
Subject: Re: [csmith-bugs] Assertion fail
From: Eric Eide <eeide@cs.utah.edu>
Date: Thu, 26 May 2011 07:47:29 -0600
Cc: Csmith Bugs Mailing List <csmith-bugs@flux.utah.edu>
In-reply-to: Vikram KS's message of Thursday, May 26 2011 <BANLkTi=vufd3zp+tW55XOcHsVyv4_qYL6g@mail.gmail.com>
List-archive: </listarchives/csmith-bugs>
List-help: <mailto:csmith-bugs-request@flux.utah.edu?subject=help>
List-id: Csmith Bugs Mailing List <csmith-bugs.flux.utah.edu>
List-post: <mailto:csmith-bugs@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-bugs>, <mailto:csmith-bugs-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-bugs>, <mailto:csmith-bugs-request@flux.utah.edu?subject=unsubscribe>
References: <BANLkTinzYA884yX=bDWOMQSyVpS15vnmZg@mail.gmail.com> <19933.16373.558632.210800@bas.flux.utah.edu> <BANLkTincSooFvStR2PRh5oepZ6Vnd2q7=w@mail.gmail.com> <19933.62051.230299.762045@bas.flux.utah.edu> <BANLkTi=vufd3zp+tW55XOcHsVyv4_qYL6g@mail.gmail.com>

	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

Follow-Ups:
- Re: [csmith-bugs] Assertion fail
  - From: Vikram KS <ksvikram@gmail.com>

References:
- [csmith-bugs] Assertion fail
  - From: Vikram KS <ksvikram@gmail.com>
- Re: [csmith-bugs] Assertion fail
  - From: Eric Eide <eeide@cs.utah.edu>
- Re: [csmith-bugs] Assertion fail
  - From: Vikram KS <ksvikram@gmail.com>
- Re: [csmith-bugs] Assertion fail
  - From: Eric Eide <eeide@cs.utah.edu>

Prev by Date: Re: [csmith-bugs] Assertion fail
Next by Date: Re: [csmith-bugs] Assertion fail
Previous by thread: Re: [csmith-bugs] Assertion fail
Next by thread: Re: [csmith-bugs] Assertion fail
Index(es):
- Date
- Thread