From 19061bc422929914c1f613ea4c94eedc3dd7c3fd Mon Sep 17 00:00:00 2001
From: Aki Van Ness <aki@yosyshq.com>
Date: Tue, 4 Oct 2022 06:10:46 -0400
Subject: [PATCH] sby: core: setup: added the selection inversion and assertion
 removal to the script generation

---
 sbysrc/sby_core.py | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py
index 0ce0970..d84c21c 100644
--- a/sbysrc/sby_core.py
+++ b/sbysrc/sby_core.py
@@ -548,6 +548,7 @@ class SbyConfig:
 
     def gen_setup_script(self):
         script = '# Autogenerated by SBY stage setup\n'
+        script += 'select *'
 
         def cutpoint(v):
             return f"cutpoint {v}"
@@ -577,8 +578,9 @@ class SbyConfig:
                 'invoke': invoke(v)
             }.get(k, '') + '\n'
 
-        # TODO: Invert selection, then `chformal -assert -remove`
-
+        script += 'select -set _setup %\n'
+        script += 'select @_setup %n\n'
+        script += 'chformal -assert -remove %\n'
         return script