Hi Alastair, On Tue, Nov 30, 2010 at 04:19:04PM +0000, Alastair Donaldson wrote: > /home/scratch/prog/dejagnu/dejagnu-1.4.4/runtest: line 123: exec: > expect: not found
It looks like the 'expect' command was not found on your path. KLEE's testing framework, dejagnu, is written using expect so you will need it installed for the test suite to run. Thanks, -- Peter
