From eaf56a941fc5f83645781ce1d59cb09ba2b10aa7 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 14 Jan 2022 13:34:15 -0500
Subject: [PATCH] test: hook intsolver tests

---
 src/tests/dune         | 3 ++-
 src/tests/run_tests.ml | 2 ++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/tests/dune b/src/tests/dune
index 0efb98d9..72c80e8a 100644
--- a/src/tests/dune
+++ b/src/tests/dune
@@ -4,7 +4,8 @@
  (modules run_tests)
  (modes native)
  (libraries containers alcotest qcheck sidekick.util
-            sidekick_test_simplex sidekick_test_util sidekick_test_minicc)
+            sidekick_test_simplex sidekick_test_intsolver
+            sidekick_test_util sidekick_test_minicc)
  (flags :standard -warn-error -a+8 -color always))
 
 (alias
diff --git a/src/tests/run_tests.ml b/src/tests/run_tests.ml
index e7d3e3f5..27035e82 100644
--- a/src/tests/run_tests.ml
+++ b/src/tests/run_tests.ml
@@ -2,6 +2,7 @@
 let tests : unit Alcotest.test list =
   List.flatten @@ [
     [Sidekick_test_simplex.tests];
+    [Sidekick_test_intsolver.tests];
     [Sidekick_test_minicc.tests];
     Sidekick_test_util.tests;
   ]
@@ -10,6 +11,7 @@ let props =
   List.flatten
     [ Sidekick_test_simplex.props;
       Sidekick_test_util.props;
+      Sidekick_test_intsolver.props;
     ]
 
 let () =