On 27 February 2015 at 10:52, Cristian Cadar <[email protected]> wrote: > I cannot reproduce this on my machine. Can you open an issue at > https://github.com/klee/klee/issues, giving more details on your > configuration and how you ran KLEE?
Do you have STP built with assertions? They've been enabled by default in the latest upstream STP but I'm not sure if this the case for r940. I think we should stop recommending people using r940, it's really old, doesn't even build on new linux distros and has bugs that have been fixed in the upstream version. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
