mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-05 06:04:06 +00:00
Code Activity

docs: removed empty line

Browse source
This commit is contained in:
Aki Van Ness 2022-08-17 09:02:13 -04:00
parent a6c220dd5d
commit e8b8816143
No known key found for this signature in database
GPG key ID: C629E8EC06327BEE
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
docs/source/reference.rst
View file

@ -205,7 +205,6 @@ solver options.
In the 2nd line ``abc`` is the engine, there are no engine options, ``sim3`` is the
solver, and ``-W 15`` are solver options.
The following mode/engine/solver combinations are currently supported:
+-----------+--------------------------+