diff options
Diffstat (limited to 'passes/cmds/bugpoint.cc')
| -rw-r--r-- | passes/cmds/bugpoint.cc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/passes/cmds/bugpoint.cc b/passes/cmds/bugpoint.cc index d32d33560..8197b21f7 100644 --- a/passes/cmds/bugpoint.cc +++ b/passes/cmds/bugpoint.cc @@ -45,7 +45,7 @@ struct BugpointPass : public Pass { log(" -yosys <filename>\n"); log(" use this Yosys binary. if not specified, `yosys` is used.\n"); log("\n"); - log(" -grep <string>\n"); + log(" -grep \"<string>\"\n"); log(" only consider crashes that place this string in the log file.\n"); log("\n"); log(" -fast\n"); @@ -102,6 +102,9 @@ struct BugpointPass : public Pass { if (grep.empty()) return true; + if (grep.size() > 2 && grep.front() == '"' && grep.back() == '"') + grep = grep.substr(1, grep.size() - 2); + std::ifstream f("bugpoint-case.log"); while (!f.eof()) { |