From 3fa03d12d28658694f2bf2085e8634cc267e3f16 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Fri, 22 Dec 2023 18:22:02 +0200 Subject: Renamed PTree to ExecutionTree (and similar) --- scripts/klee-control | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scripts') diff --git a/scripts/klee-control b/scripts/klee-control index 0a918b42..e9d22db6 100755 --- a/scripts/klee-control +++ b/scripts/klee-control @@ -77,7 +77,7 @@ def main(): if opts.dumpStates: execCmd(pid, "p dumpStates = 1", opts) if opts.dumpTree: - execCmd(pid, "p dumpPTree = 1", opts) + execCmd(pid, "p dumpExecutionTree = 1", opts) if opts.stopForking: execCmd(pid, 'p stop_forking()', opts) if opts.haltExecution: -- cgit 1.4.1