KLEE crash incorrect results #36
Description
Check KLEE output after the map2check verification
KLEE crashes and incorrect TRUE results for Map2Check mode (e.g., target generate prt error).
I would like to suggest you check out the KLEE output before to show TRUE answer for the verification task.