diff options
author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-12-22 18:22:02 +0200 |
---|---|---|
committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2024-01-12 12:00:35 +0000 |
commit | 3fa03d12d28658694f2bf2085e8634cc267e3f16 (patch) | |
tree | c775b6d770c98ca310e9caf50c36016f99b81891 /tools/klee | |
parent | 2c8b74cc858793c94e5476b5765e93ee23738702 (diff) | |
download | klee-3fa03d12d28658694f2bf2085e8634cc267e3f16.tar.gz |
Renamed PTree to ExecutionTree (and similar)
Diffstat (limited to 'tools/klee')
-rw-r--r-- | tools/klee/main.cpp | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index ce231967..febeb47f 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -1120,11 +1120,10 @@ int main(int argc, char **argv, char **envp) { atexit(llvm_shutdown); // Call llvm_shutdown() on exit KCommandLine::KeepOnlyCategories( - {&ChecksCat, &DebugCat, &ExtCallsCat, &ExprCat, &LinkCat, - &MemoryCat, &MergeCat, &MiscCat, &ModuleCat, &ReplayCat, - &SearchCat, &SeedingCat, &SolvingCat, &StartCat, &StatsCat, - &TerminationCat, &TestCaseCat, &TestGenCat, &PTreeCat}); - + {&ChecksCat, &DebugCat, &ExtCallsCat, &ExprCat, &LinkCat, + &MemoryCat, &MergeCat, &MiscCat, &ModuleCat, &ReplayCat, + &SearchCat, &SeedingCat, &SolvingCat, &StartCat, &StatsCat, + &TerminationCat, &TestCaseCat, &TestGenCat, &ExecTreeCat, &ExecTreeCat}); llvm::InitializeNativeTarget(); parseArguments(argc, argv); |