From c5dce570672fb66fbc9b7a427e1492b65e8f5ca8 Mon Sep 17 00:00:00 2001 From: Jannis Harder Date: Wed, 8 Feb 2023 14:18:52 +0100 Subject: [PATCH] append_assume: Make `append_assume on` the default for now Having `append_assume off` needs `vcd_sim on` to not be ignored with a warning and `vcd_sim off` is still the default. --- docs/source/reference.rst | 2 +- sbysrc/sby_core.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/source/reference.rst b/docs/source/reference.rst index d3dae3f..083c7f0 100644 --- a/docs/source/reference.rst +++ b/docs/source/reference.rst @@ -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 diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py index ae28b6a..76812ae 100644 --- a/sbysrc/sby_core.py +++ b/sbysrc/sby_core.py @@ -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)