mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-28 00:48:46 +00:00
Code Activity

bugpoint.rst: Expand note on checking errors

Browse source
This commit is contained in:
Krystine Sherwin 2025-06-14 15:01:40 +12:00
parent 3d9fcea581
commit 0425310f8e
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