Changed boolopt naming

Silimate · Jan 17, 2025 · 90f980e · 90f980e
1 parent d863142
commit 90f980e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tests/blif/bug2729.ys b/tests/blif/bug2729.ys
@@ -16,5 +16,5 @@ read_blif -wideports tmp-bug2729.blif
 rename -enumerate t:cell
 dump
 cd top
-connect -assert -port boolopt I A
-connect -assert -port boolopt O B
+connect -assert -port boolopt_1 I A
+connect -assert -port boolopt_1 O B