Skip to content

Commit 0425310

Browse files
bugpoint.rst: Expand note on checking errors
1 parent 3d9fcea commit 0425310

File tree

1 file changed

+6
-3
lines changed

1 file changed

+6
-3
lines changed

docs/source/using_yosys/bugpoint.rst

Lines changed: 6 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -171,9 +171,12 @@ error code returned.
171171

172172
.. note::
173173

174-
Checking the error message or return status with is optional, but helps to
175-
ensure that the minimized design is reproducing the right error, especially
176-
when ``<failure.ys>`` contains more than one command.
174+
Checking the error message or return status is optional, but highly
175+
recommended. `bugpoint` can quite easily introduce bugs by creating
176+
malformed designs that commands were not intended to handle. By having some
177+
way to check the error, `bugpoint` can ensure that it is the *right* error
178+
being reproduced. This is even more important when ``<failure.ys>`` contains
179+
more than one command.
177180

178181
By default, `bugpoint` is able to remove any part of the design. In order to
179182
keep certain parts, for instance because you already know they are related to

0 commit comments

Comments
 (0)