Hi all, I would like to know is there a way/tool to check which function KLEE is exploring/ get stuck in when KLEE is running? Let’s say I am running KLEE on big projects and have no improvement after some time. Thanks for help in advance! -------------- next part -------------- HTML attachment scrubbed and removed