mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-08-13 16:42:09 +00:00
Code Activity

Docs fix

Browse source
This commit is contained in:
KrystalDelusion 2025-07-07 20:07:25 +12:00 • committed by GitHub
parent ef8ca40a5d
commit 562a504709
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
docs/source/reference.rst
View file

@ -199,7 +199,7 @@ options are:
| | | Values: ``on``, ``off``. Default: ``on`` | | | | Values: ``on``, ``off``. Default: ``on`` |
+-------------------+------------+---------------------------------------------------------+ +-------------------+------------+---------------------------------------------------------+
| ``cover_assert`` | ``cover`` | Check for assertion properties during ``cover`` mode. | | ``cover_assert`` | ``cover`` | Check for assertion properties during ``cover`` mode. |
| | | Values: ``on``, ``off``. Default: ``on`` | | | | Values: ``on``, ``off``. Default: ``off`` |
+-------------------+------------+---------------------------------------------------------+ +-------------------+------------+---------------------------------------------------------+
Engines section Engines section