github/verilator
1
0
Fork 1
mirror of https://github.com/verilator/verilator.git synced 2025-01-01 12:17:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

Commentary: Fix sv-bugpoint paragraph typo (#5558)

Browse Source
This commit is contained in:
Tomasz Gorochowik 2024-10-24 15:41:27 +02:00 committed by GitHub
parent 4cd69f9feb
commit fd2917c928
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/guide/contributing.rst
View File

@ -73,7 +73,7 @@ Open Source tool called `sv-bugpoint
<https://github.com/antmicro/sv-bugpoint>_` can be used to automatically <https://github.com/antmicro/sv-bugpoint>_` can be used to automatically
reduce a SystemVerilog design to the smallest possible reproducer. reduce a SystemVerilog design to the smallest possible reproducer.
It can be used to automatically reduce a design with hundreds of thousands of It can be used to automatically reduce a design with hundreds of thousands of
lines design to a minimal test case while preserving the bug-inducing behavior. lines to a minimal test case while preserving the bug-inducing behavior.
Please refer to the `README Please refer to the `README
<https://github.com/antmicro/sv-bugpoint/blob/main/README.md>`_ file for more <https://github.com/antmicro/sv-bugpoint/blob/main/README.md>`_ file for more