diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/klee-control | 2 |
1 files changed, 1 insertions, 1 deletions
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: |