From 48c8d70a45d2a914b909ac301fdcd6ecdd61aed3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Martin=20Povi=C5=A1er?= Date: Tue, 10 Dec 2024 15:13:10 +0100 Subject: [PATCH] wrapcell: Test `check -assert` post wrapping --- tests/various/wrapcell.ys | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tests/various/wrapcell.ys b/tests/various/wrapcell.ys index 6e0a457ca52..18325f573f9 100644 --- a/tests/various/wrapcell.ys +++ b/tests/various/wrapcell.ys @@ -18,6 +18,7 @@ EOF wreduce wrapcell -setattr foo -formatattr bar w{Y_WIDTH} -name OR_{A_WIDTH}_{B_WIDTH}_{Y_WIDTH} +check -assert select -assert-count 2 top/t:OR_2_3_3 select -assert-count 1 top/t:OR_3_4_4 select -assert-none top/t:OR_2_3_3 top/t:OR_3_4_4 %% top/t:* %D @@ -47,6 +48,7 @@ EOF opt_clean wreduce wrapcell -setattr foo -formatattr bar w{Y_WIDTH} -name OR_{A_WIDTH}_{B_WIDTH}_{Y_WIDTH}{%unused} +check -assert select -assert-count 1 top/t:OR_2_3_3 select -assert-count 1 top/t:OR_2_3_3_unused_Y[1] select -assert-count 1 top/t:OR_3_4_4