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.
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.