From 90f980eb66dc1c8e829a587b2dd4c003f69954cb Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Thu, 16 Jan 2025 19:36:27 -0800 Subject: [PATCH] Changed boolopt naming --- tests/blif/bug2729.ys | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/blif/bug2729.ys b/tests/blif/bug2729.ys index c6d9fe31f..28edd84ae 100644 --- 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