[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [csmith-bugs] Assertion fail
"Vikram" == Vikram KS <ksvikram@gmail.com> writes:
Vikram> 1. I get an assertion fail with following options:
Vikram>
Vikram> $ csmith --no-volatiles --probability-configuration prob.txt > test.c
Vikram> assertion "0" failed: file "CVQualifiers.cpp", line 557
Vikram> Aborted (core dumped)
To reproduce this bug, we need to know two things:
+ what version of Csmith you are running
+ the seed that Csmith chose that led to the crash
You should be able to get both of these from output file ("text.c").
Can you provide us with those things?
Vikram> 2. Also now if i set regular_volatile_prob=100 in prob.txt, and
Vikram> run the following, the csmith sometime hangs(it doesn't come
Vikram> out at all), someother time gives the same assertion fail as
Vikram> above.
If you choose the probabilities oddly, Csmith can get into situations in which
it cannot make progress.
Currently, we prioritize these sorts of problems far below Csmith crashes.
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