mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-06-01 14:47:53 +00:00
Code Activity

contributing: require bug report inputs to pass check

Browse source
This commit is contained in:
Emil J. Tywoniak 2026-01-26 16:56:02 +01:00
parent 8bf42c01ce
commit 342b0e5fc1
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
docs/source/yosys_internals/extending_yosys/contributing.rst
View file

@ -27,6 +27,8 @@ The reproduction steps should be a minimal, complete and verifiable
example `MVCE`_. example `MVCE`_.
Providing an MVCE with your bug report drastically increases the likelihood that Providing an MVCE with your bug report drastically increases the likelihood that
someone will be able to help resolve your issue. someone will be able to help resolve your issue.
Make sure that your report input is free of any problems as reported by the
`check_` command.
One way to minimize a design is to use the `bugpoint_` command. One way to minimize a design is to use the `bugpoint_` command.
You can learn more in the `how-to guide for bugpoint_`. You can learn more in the `how-to guide for bugpoint_`.
@ -86,6 +88,7 @@ Don't forget to mention:
.. _MVCE: https://stackoverflow.com/help/minimal-reproducible-example .. _MVCE: https://stackoverflow.com/help/minimal-reproducible-example
.. _bugpoint: https://yosys.readthedocs.io/en/latest/cmd/bugpoint.html .. _bugpoint: https://yosys.readthedocs.io/en/latest/cmd/bugpoint.html
.. _check: https://yosyshq.readthedocs.io/projects/yosys/en/latest/cmd/index_passes_status.html#check-check-for-obvious-problems-in-the-design
.. _how-to guide for bugpoint: https://yosys.readthedocs.io/en/latest/using_yosys/bugpoint.html .. _how-to guide for bugpoint: https://yosys.readthedocs.io/en/latest/using_yosys/bugpoint.html
Expected Behaviour Expected Behaviour