mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 05:19:11 +00:00
Code Activity

bugpoint.rst: Expand note on checking errors

Browse source
This commit is contained in:
Krystine Sherwin 2025-08-05 09:54:02 +12:00
parent 96b072aeb3
commit bfe2418a67
No known key found for this signature in database
1 changed files with 6 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

9
docs/source/using_yosys/bugpoint.rst
View file

@ -171,9 +171,12 @@ error code returned.
.. note::
Checking the error message or return status with is optional, but helps to
ensure that the minimized design is reproducing the right error, especially
when ``<failure.ys>`` contains more than one command.
Checking the error message or return status is optional, but highly
recommended. `bugpoint` can quite easily introduce bugs by creating
malformed designs that commands were not intended to handle. By having some
way to check the error, `bugpoint` can ensure that it is the *right* error
being reproduced. This is even more important when ``<failure.ys>`` contains
more than one command.
By default, `bugpoint` is able to remove any part of the design. In order to
keep certain parts, for instance because you already know they are related to