diff options
Diffstat (limited to 'tools/klee/main.cpp')
| -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); |