aboutsummaryrefslogtreecommitdiffstats
path: root/passes/cmds/bugpoint.cc
diff options
context:
space:
mode:
authorN. Engelhardt <nak@yosyshq.com>2022-08-25 11:41:12 +0200
committerGitHub <noreply@github.com>2022-08-25 11:41:12 +0200
commit8e640663d6b7ff84043068f48ed5f3cf7bff4321 (patch)
tree59001b194c2f573674c37352733427a3ec28a1c1 /passes/cmds/bugpoint.cc
parent029c2785e810fda0ccc5abbb6057af760f2fc6f3 (diff)
parent9465b2af95a146f514fc1e0b2d31bc3d9a233fb7 (diff)
downloadyosys-8e640663d6b7ff84043068f48ed5f3cf7bff4321.tar.gz
yosys-8e640663d6b7ff84043068f48ed5f3cf7bff4321.tar.bz2
yosys-8e640663d6b7ff84043068f48ed5f3cf7bff4321.zip
Merge pull request #3457 from KrystalDelusion/docs_width
Diffstat (limited to 'passes/cmds/bugpoint.cc')
-rw-r--r--passes/cmds/bugpoint.cc8
1 files changed, 4 insertions, 4 deletions
diff --git a/passes/cmds/bugpoint.cc b/passes/cmds/bugpoint.cc
index 7b621504d..e666023fa 100644
--- a/passes/cmds/bugpoint.cc
+++ b/passes/cmds/bugpoint.cc
@@ -34,10 +34,10 @@ struct BugpointPass : public Pass {
log("\n");
log("This command minimizes the current design that is known to crash Yosys with the\n");
log("given script into a smaller testcase. It does this by removing an arbitrary part\n");
- log("of the design and recursively invokes a new Yosys process with this modified design\n");
- log("and the same script, repeating these steps while it can find a smaller design that\n");
- log("still causes a crash. Once this command finishes, it replaces the current design\n");
- log("with the smallest testcase it was able to produce.\n");
+ log("of the design and recursively invokes a new Yosys process with this modified\n");
+ log("design and the same script, repeating these steps while it can find a smaller\n");
+ log("design that still causes a crash. Once this command finishes, it replaces the\n");
+ log("current design with the smallest testcase it was able to produce.\n");
log("In order to save the reduced testcase you must write this out to a file with\n");
log("another command after `bugpoint` like `write_rtlil` or `write_verilog`.\n");
log("\n");