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

Open quinzio opened 5 years ago

quinzio commented 5 years ago

/usr/include/stdio.h:27:10: fatal error: bits/libc-header-start.h: No such file or directory

include <bits/libc-header-start.h>

      ^~~~~~~~~~~~~~~~~~~~~~~~~~

on Ubuntu 18 64 bits

I had to install 32 bit compatibility library.

piotrkochan commented 4 years ago

Same on ubuntu 19