run_crest is aborted by assertion about crest

[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 [email protected] 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 [email protected] on 25 Jul 2012 at 4:41

• Changed state: Invalid

[GoogleCodeExporter]

Issue 9 has been merged into this issue.

Original comment by [email protected] on 25 Jul 2012 at 4:43

[GoogleCodeExporter]

Issue 11 has been merged into this issue.

Original comment by [email protected] on 25 Jul 2012 at 4:44