> Dan, the message starts with "We tried two versions of STP (r940 and the > latest)" :)
Yes but - I was asking if you had STP built with assertions when trying to reproduce the issue. It is obvious the the OP had assertions enabled when they ran their build of KLEE. - The stacktrace shown by the old OP is for the old STP - The OP could have cloned the latest code from the old stp SVN repo which is very out of date _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
