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

[GoogleCodeExporter]

I have the same problem. May I know the solution to the above problem.
I use crest-0.1.1, cil-1.0.35 and ubuntu-12.04

Original comment by shangami...@gmail.com on 22 Jul 2012 at 3:09

[GoogleCodeExporter]

Did you compile CREST's copy of CIL, by running ./configure and make in the 
crest/cil/ directory?

The "0 branches", "0 nodes", etc., suggests that obj/x86_LINUX/cilly.asm.exe 
either failed or could not be run because it was not built.  See 
https://groups.google.com/forum/?fromgroups#!topic/crest-users/vJgzrI5dTTY .

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

• Changed state: Invalid

[GoogleCodeExporter]

Issue 9 has been merged into this issue.

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

[GoogleCodeExporter]

Issue 11 has been merged into this issue.

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