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!
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
