From fc3c937892998b984a59cfa740244952ff6071b9 Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Fri, 7 Jan 2022 14:14:38 +0000 Subject: stats: add InhibitedForks --- tools/klee-stats/klee-stats | 1 + 1 file changed, 1 insertion(+) (limited to 'tools') diff --git a/tools/klee-stats/klee-stats b/tools/klee-stats/klee-stats index 22cdaf43..18fbe595 100755 --- a/tools/klee-stats/klee-stats +++ b/tools/klee-stats/klee-stats @@ -47,6 +47,7 @@ Legend = [ ('ActiveStates', 'number of currently active states (0 after successful termination)', "NumStates"), ('MaxActiveStates', 'maximum number of active states', "MaxStates"), ('AvgActiveStates', 'average number of active states', "AvgStates"), + ('InhibitedForks', 'number of inhibited state forks due to e.g. memory pressure', "InhibitedForks"), # - constraint caching/solving ('Queries', 'number of queries issued to the constraint solver', "NumQueries"), ('QueryConstructs', 'number of query constructs for all queries send to the constraint solver', "NumQueryConstructs"), -- cgit 1.4.1