Hi, I just wanted to ask about the KLEE errors. Can you help me to understand the difference between these two types of errors in detail with an example...
* Unhandled error : Unhandled intsructions hit * Exec error : Trying to execute an unexpected instructions Thanks in advance..! Regards, Mohit For assimilation and dissemination of knowledge, visit cakes.cdac.in ------------------------------------------------------------------------------------------------------------ [ C-DAC is on Social-Media too. Kindly follow us at: Facebook: https://www.facebook.com/CDACINDIA & Twitter: @cdacindia ] This e-mail is for the sole use of the intended recipient(s) and may contain confidential and privileged information. If you are not the intended recipient, please contact the sender by reply e-mail and destroy all copies and the original message. Any unauthorized review, use, disclosure, dissemination, forwarding, printing or copying of this email is strictly prohibited and appropriate legal action will be taken. ------------------------------------------------------------------------------------------------------------
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
