From 747915c936d9da56c3d53d882c4f663f8e0f46df Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Wed, 23 Sep 2026 03:48:12 -0300
Subject: cardinality tests

---
 test/test_rnt.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'test/test_rnt.ml')

diff --git a/test/test_rnt.ml b/test/test_rnt.ml
index d9936ea..b9c5962 100644
--- a/test/test_rnt.ml
+++ b/test/test_rnt.ml
@@ -1,5 +1,7 @@
 let all_suites =
   Unit.Backend.Storage.suites ()
+  @ Unit.Concepts.Cardinality.suites ()
+  @ Unit.Kernel.EphemeralRelation.suites ()
   @ Unit.Kernel.Merkle.suites ()
   @ Unit.Kernel.SubstantialRelation.suites ()
   @ Unit.Evaluators.FOL.suites ()
-- 
cgit v1.2.3