projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c58bb1d) | patch
Clarify bugpoint documentation regarding output
authorIris Johnson <iris@modwiz.com>
Wed, 24 Mar 2021 21:24:33 +0000 (16:24 -0500)
committerGitHub <noreply@github.com>
Wed, 24 Mar 2021 21:24:33 +0000 (16:24 -0500)
commit4c39189b137ab3ebcc3db0b5df09c9bf43d97a8c
treedabe9d52de6e8f046bf2a57f858ceb26c281c4a8tree
parentc58bb1d2e1e7ff3181c7b5d4d0a0d10d95d3b6fecommit | diff
Clarify bugpoint documentation regarding output

Bugpoint's current documentation does specify that the result of a run is stored as the current design,
however it's easy to skim over what that means in practice.

Add a documentation comment to explain specifically that an after bugpoint `write_xyz` pass is required to save
the reduced design.
passes/cmds/bugpoint.cc diff | blob | history