search

jburnim / crest

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

Error when trying to run test: uniform_test.c #13

Open ramayyala opened 6 years ago

ramayyala commented 6 years ago

Hi, So I'm trying to run the test program just to make sure crest is functioning and keep getting the error: uniform_test.c:12:19: error: crest.h: No such file or directory Where is crest.h supposed to be located? and also will this program work with bam, fasta, sam, or fastq files at all? Thanks in advance, Ram Ayyala

lmagoncalo commented 5 years ago

Verify if you have the crest.h file under this directory: crest/src/libcrest/