Hi,
On Thu, 10 Sep 2020 14:25:21 +0000 XIE Xuan <[email protected]> wrote: > 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. "stuck" can mean different things. For instance the solver queries take too long (reduce the timeout) or states explore already covered code. You can check coverage etc. with KCacheGrind: https://klee.github.io/tutorials/testing-coreutils/#step-6-visualizing-klees-progress-with-kcachegrind or visualise statistics with Grafana: https://klee.github.io/docs/tools/#live-monitoring-with-grafana Kind regards, Frank _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
