search

jburnim / crest

CREST is a concolic test generation tool for C.
http://jburnim.github.io/crest/
BSD 2-Clause "Simplified" License
159 stars 50 forks source link

Stuck during compilation #3

Closed ruraj closed 8 years ago

ruraj commented 8 years ago

Hi, I am trying to run an example from the repo but I'm getting stuck during the first compilation step:

../bin/crestc uniform_test.c gcc -D_GNUCC -E -I../bin/../include -DCIL=1 uniform_test.c -o ./uniform_test.i /home/ruraj/src/opensource/crest/cil/bin/cilly.native --out ./uniform_test.cil.c --doCrestInstrument ./uniform_test.i

I've left it running for hours with no results. Any ideas?

ruraj commented 8 years ago

I was able to fix this using an older ocaml version (4.01.0).

Ref: https://groups.google.com/forum/#!topic/crest-users/aBcY3AtgSXY