From 97fedff383bb253eca5ab9d6827057e1fae9dd1f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Wed, 29 May 2024 20:42:11 +0200
Subject: [PATCH] box_derive: Tune the test

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

diff --git a/tests/various/box_derive.ys b/tests/various/box_derive.ys
index 72db48e4fed..f02e133603d 100644
--- a/tests/various/box_derive.ys
+++ b/tests/various/box_derive.ys
@@ -35,6 +35,11 @@ endmodule
 EOF
 
 box_derive -naming_attr final_name top
+
+select -assert-mod-count 1 =aa1
+select -assert-mod-count 1 =aa2
+select -assert-mod-count 0 =aa3
+
 select -assert-mod-count 1 =bb1
 select -assert-mod-count 0 =bb2
 select -assert-mod-count 1 =bb3
@@ -43,5 +48,6 @@ 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
+# we are expecting the original aa, bb, cc modules
+# and 5 specializations generated by box_derive
 select -assert-mod-count 8 =A:whitebox