From bff2443af842e41134bbd348dbd6885ab8206e4d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Tue, 21 May 2024 16:34:49 +0200
Subject: [PATCH] box_derive: Finish the test

---
 tests/various/box_derive.ys | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/tests/various/box_derive.ys b/tests/various/box_derive.ys
index a76a79cdc1f..72db48e4fed 100644
--- a/tests/various/box_derive.ys
+++ b/tests/various/box_derive.ys
@@ -35,3 +35,13 @@ endmodule
 EOF
 
 box_derive -naming_attr final_name top
+select -assert-mod-count 1 =bb1
+select -assert-mod-count 0 =bb2
+select -assert-mod-count 1 =bb3
+
+select -assert-mod-count 1 =cc1
+select -assert-mod-count 0 =cc2
+select -assert-mod-count 0 =cc3
+
+# the original aa, bb, cc, and 5 specializations
+select -assert-mod-count 8 =A:whitebox