Re: [klee-dev] failed external call: fgets

2017-06-19 Thread Dan Liew
On 16 June 2017 at 17:05, Nourah mmm wrote: > Hi, > > I try to run KLEE on cutcp benchmark from (Parboil Benchmarks). The > benchmark consists from the following program: main.c parboil.c readatom.c > cutcpu.c excl.c output.c > > First I compile it with the following command:

[klee-dev] failed external call: fgets

2017-06-16 Thread Nourah mmm
Hi, I try to run KLEE on cutcp benchmark from (Parboil Benchmarks ). The benchmark consists from the following program: main.c parboil.c readatom.c cutcpu.c excl.c output.c First I compile it with the following command: myclang -I