Expect abc error.

This commit is contained in:
nella
2026-09-21 16:39:09 +02:00
parent edb9422be5
commit ce87b2fb3d
2 changed files with 6 additions and 3 deletions
+6 -2
View File
@@ -1,6 +1,9 @@
# https://github.com/YosysHQ/yosys/issues/4977
# same cell name in two liberty files: abc asserts, should be an error (#4977)
# abc names the duplicated cell before it asserts, which used to be lost in a
# stdio buffer that the abort never flushed
logger -expect log "There are two standard cells with the same name" 1
logger -expect error "ABC" 1
read_verilog <<EOT
module top(input a, b, output y);
assign y = ~(a & b);
@@ -9,5 +12,6 @@ EOT
hierarchy -top top
techmap
libcache -scl -disable
abc_new -liberty openroad/cm_test_cells.lib -liberty dup_inv.lib
select -assert-none t:$_*_
-1
View File
@@ -8,7 +8,6 @@ import glob
import gen_tests_makefile
skip = [
"duplicate_cell_libs.ys",
"hier_check.ys",
"keep_wire.ys",
"scopeinfo.ys",