diff options
author | N. Engelhardt <nak@yosyshq.com> | 2022-08-25 11:41:12 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-25 11:41:12 +0200 |
commit | 8e640663d6b7ff84043068f48ed5f3cf7bff4321 (patch) | |
tree | 59001b194c2f573674c37352733427a3ec28a1c1 /passes/cmds/bugpoint.cc | |
parent | 029c2785e810fda0ccc5abbb6057af760f2fc6f3 (diff) | |
parent | 9465b2af95a146f514fc1e0b2d31bc3d9a233fb7 (diff) | |
download | yosys-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.cc | 8 |
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"); |