run_crest is aborted by assertion

[GoogleCodeExporter]

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

• Merged into: #10

[GoogleCodeExporter]

I am sorry for duplicating the same issue(ID 10,11) because the network 
responded too slow.

Original comment by llm...@gmail.com on 12 Mar 2012 at 7:17

[GoogleCodeExporter]

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

• Changed state: Duplicate