mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-01-04 19:08:58 +00:00
Code Activity

Merge pull request #342 from YosysHQ/fix_docs_table

Browse source
This commit is contained in:
N. Engelhardt 2025-11-19 10:43:59 +01:00 • committed by GitHub
commit 0b9e83deda
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

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