christoph/fail
1
Fork 0
Code Releases Activity

prune-trace: fix pruner listing change

Browse Source 
Commit 89817cf13f did not completely
remove the manual pruner instantiation code.

Change-Id: I00dab9e3f4f3e2acf1d0f285237cc03a968aabfb
This commit is contained in:
Horst Schirmeier
2014-09-18 13:43:40 +02:00
parent 020af0ef6f
commit db2a0dc056
1 changed files with 3 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
tools/prune-trace/main.cc
View File

@ -81,30 +81,10 @@ int main(int argc, char *argv[]) {
std::cerr << "Available pruning methods: " << pruners << std::endl;
exit(-1);
}
registry.getPrimeAlias(pruner, pruner_name);
LOG << "Using " << pruner_name << endl;
if (cmd[PRUNER]) {
std::string imp(cmd[PRUNER].first()->arg);
if (imp == "BasicPruner" || imp == "basic") {
LOG << "Using BasicPruner" << endl;
pruner = new BasicPruner();
} else if (imp == "BasicPrunerLeft" || imp == "basic-left") {
LOG << "Using BasicPruner (use left border, instr1)" << endl;
pruner = new BasicPruner(true);
} else if (imp == "FESamplingPruner" || imp == "sampling") {
LOG << "Using FESamplingPruner" << endl;
pruner = new FESamplingPruner;
} else {
LOG << "Unknown pruning method: " << imp << endl;
exit(-1);
}
} else {
LOG << "Using BasicPruner" << endl;
pruner = new BasicPruner();
}
if (pruner && !(pruner->commandline_init())) {
if (!(pruner->commandline_init())) {
std::cerr << "Pruner's commandline initialization failed" << std::endl;
exit(-1);
}