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 () =