search

tthtlc / crest

Automatically exported from code.google.com/p/crest
BSD 3-Clause "New" or "Revised" License
0 stars 0 forks source link

run_crest is aborted by assertion #11

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
1. "make" is successfully executed in src/ directory in crest-0.1.1
2. cd test
3. ../bin/crestc uniform_test.c, the following message is showed:

gcc -D_GNUCC -E -I../bin/../include -DCIL=1 uniform_test.c -o ./uniform_test.i
/home/ly/Work/crest/crest-0.1.1/cil-1.3.7/obj/x86_LINUX/cilly.asm.exe --out 
./uniform_test.cil.c --doCrestInstrument ./uniform_test.i
Read 0 branches.
Read 0 nodes.
Wrote 0 branch edges.

4. ../bin/run_crest ./uniform_test 10 -dfs, the following message is showed:

run_crest: run_crest/concolic_search.cc:70: crest::Search::Search(const 
std::string&, int): Assertion `in' failed.
Aborted

What is the expected output? What do you see instead?
The expected output should be like what's illustrated in README file in 
crest-0.1.1.

What version of the product are you using? On what operating system?
crest-0.1.1/ubuntu 10.01

I wonder the cause of such a problem, thanks!

Original issue reported on code.google.com by llm...@gmail.com on 12 Mar 2012 at 7:13

GoogleCodeExporter commented 9 years ago

Original comment by jbur...@gmail.com on 25 Jul 2012 at 4:44