mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-03 21:09:12 +00:00
Code Activity

bugpoint: accept quoted strings in -grep.

Browse source
This commit is contained in:
whitequark 2020-12-07 08:23:32 +00:00
parent 75f9e9cb45
commit b1135a88dd
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
passes/cmds/bugpoint.cc
View file

@ -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())
{