Add another test

probcomp · Oct 4, 2024 · ca3d975 · ca3d975
1 parent a1a4a2f
commit ca3d975
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/cxx/pclean/pclean_lib_test.cc b/cxx/pclean/pclean_lib_test.cc
@@ -239,4 +239,12 @@ observe
   BOOST_TEST(enc3.second["School"][3] == "School:3");
   BOOST_TEST(enc3.second["School"][4] == "School:4");
   BOOST_TEST(enc3.second["School"][5] == "School:5");
+
+  // Test that we got all the entities.
+  for (const auto& [domain, crp] : gendb.domain_crps) {
+    for (int i = 0; i <= crp.max_table(); ++i) {
+      BOOST_TEST(enc3.second[domain].contains(i));
+    }
+  }
+
 }