[klee-dev] The incorrect result obtained from KLEE (BVTypeCheck: terms in atomic formulas must be of equal length)

[Dan Liew]

> 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