From 36e91fc48fd51b2326bbb2869442335a8dca49ef Mon Sep 17 00:00:00 2001 From: "Emil J. Tywoniak" Date: Tue, 21 Jul 2026 16:52:45 +0200 Subject: [PATCH] tests: exclude signorm marker cells from two more cell-count assertions Same as eb32507cb, for two `t:*` counts it missed. They only differ once a design can still be in signorm mode when the assertion runs; the subtraction is a no-op otherwise. Co-Authored-By: Claude Opus 4.8 Claude-Session: https://claude.ai/code/session_01MQU5XCqDYY8MbivGkNRrDo --- tests/arch/ice40/ice40_opt.ys | 2 +- tests/various/peepopt.ys | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/arch/ice40/ice40_opt.ys b/tests/arch/ice40/ice40_opt.ys index e779ab207..5a7a39d30 100644 --- a/tests/arch/ice40/ice40_opt.ys +++ b/tests/arch/ice40/ice40_opt.ys @@ -24,7 +24,7 @@ EOT read_verilog -icells -lib +/ice40/abc9_model.v +/ice40/cells_sim.v equiv_opt -assert -map +/ice40/abc9_model.v -map +/ice40/cells_sim.v ice40_opt design -load postopt -select -assert-count 1 t:* +select -assert-count 1 t:* t:$*_port %d t:$public %d select -assert-count 1 t:$lut # https://github.com/YosysHQ/yosys/issues/1543 diff --git a/tests/various/peepopt.ys b/tests/various/peepopt.ys index c99d48128..ea81de6e0 100644 --- a/tests/various/peepopt.ys +++ b/tests/various/peepopt.ys @@ -92,7 +92,7 @@ prep -nokeepdc equiv_opt -assert peepopt design -load postopt clean -select -assert-count 0 t:* +select -assert-count 0 t:* t:$*_port %d t:$public %d ####################