Hi Alastair,
your output says expect: not found. It looks like the expect tool is either
not in your PATH or not installed on your system.
Good luck,
Raimondas
On 30.11.2010, at 17:19, Alastair Donaldson wrote:
Hi
I'm trying to get started with KLEE, and am following the instructions
You shouldn't need to compile llvm-gcc yourself, I don't do this on
Linux. Make sure that your LLVM found llvm-gcc when it was configured
though, it should be in the configure output.
- Daniel
On Fri, Apr 16, 2010 at 9:56 PM, Jun Koi junkoi2004 at gmail.com wrote:
On Sat, Apr 17, 2010 at 8:39
Hi,
I am starting to play with Klee. I followed the instruction on the
homepage to compile llvm-2.6 and klee. But make check reports a lot
of error, like below.
Could anybody please tell me what the problem is?
Thanks,
J
$make check
llvm[0]: Running test suite
make[1]: Entering directory
On Sat, Apr 17, 2010 at 12:55 AM, Cristian Cadar c.cadar at imperial.ac.uk
wrote:
Hi Jun,
As far as I can tell, there's a configuration problem there. ?You should
make sure that you passed the --with-llvm option to KLEE's configure
script.
Hmm the instruction at homepage told me to point
Sorry for the misunderstanding. I just wanted to make sure that you
used the --with-llvm option. But since you compiled KLEE successfully,
you are facing a different problem. Looking at your 'make check' output
closer, I see llvm-gcc does not seem to be in your PATH. Maybe you
forgot this
On Sat, Apr 17, 2010 at 8:39 AM, Cristian Cadar c.cadar at imperial.ac.uk
wrote:
Sorry for the misunderstanding. ?I just wanted to make sure that you used
the --with-llvm option. ?But since you compiled KLEE successfully, you are
facing a different problem. ?Looking at your 'make check' output
Hi Jun,
As far as I can tell, there's a configuration problem there. You should
make sure that you passed the --with-llvm option to KLEE's configure
script.
Cristian
On 16/04/10 16:17, Jun Koi wrote:
Hi,
I am starting to play with Klee. I followed the instruction on the
homepage to