Hi,
On Mon, 5 Jul 2021 16:28:41 +0530 (IST) kmohit <[email protected]> wrote: > * Unhandled error : Unhandled intsructions hit Currently raised when you 1) have a symbolic exception pointer (C++) 2) call an unimplemented intrinsic 3) call insertelement with symbolic index 4) call extractelement with symbolic index > * Exec error : Trying to execute an unexpected > instructions Raised under some conditions when handling landing pads (C++, see: Executor::serializeLandingpad). Kind regards, Frank _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
