[klee-dev] question on klee-stats options

[Aleksei Pleshakov]

Hi all!
Currently I am trying to understand what particular KLEE execution
statistics are important for me to know and I am struggling to understand
what some of the options mean. I haven't managed to find a more detailed
description on those, so could you please elaborate on the meaning of
"active states"? I assume that is about ExectionState object, and active
state means being processed in the engine at the moment. So does the option
MaxStates stand for the number of forks that are analyzed simultaneously?
Also, could you please hint me what wrt and wall time are? And would you
mind what time does Tfork measure?
[image: изображение.png]
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ???????????.png
Type: image/png
Size: 31081 bytes
Desc: not available
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20210402/199646e7/attachment.png>