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

Merge pull request #230 from jix/append_assume_default

Browse source 
append_assume: Make `append_assume on` the default for now
This commit is contained in:
Jannis Harder 2023-02-08 14:42:20 +01:00 committed by GitHub
parent 37d1234e38 c5dce57067
commit 466ab84745
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/source/reference.rst
View file

@ -192,7 +192,7 @@ options are:
| | ``prove``, | the trace. Depending on the engine and options used |
| | ``cover`` | this may be implicitly on or not supported (as |
| | | indicated in SBY's log output). |
| | | Values: ``on``, ``off``. Default: ``off`` |
| | | Values: ``on``, ``off``. Default: ``on`` |
+-------------------+------------+---------------------------------------------------------+
Engines section

2
sbysrc/sby_core.py
View file

@ -1238,7 +1238,7 @@ class SbyTask(SbyConfig):
if self.opt_mode != "live":
self.handle_int_option("append", 0)
self.handle_bool_option("append_assume", False)
self.handle_bool_option("append_assume", True)
self.handle_str_option("make_model", None)