1 files changed, 2 insertions, 0 deletions
diff --git a/test-suite/check b/test-suite/check
index 4c98f8ac28..f2307d4057 100755
--- a/test-suite/check
+++ b/test-suite/check
@@ -248,6 +248,8 @@ echo "Parser tests"
 test_parser parser
 echo "Interactive tests"
 test_interactive interactive
+echo "Micromega tests"
+test_success micromega
 echo "Complexity tests"
 test_complexity complexity
 echo "Module tests"