suite commit 9222 : rétablissement des tests autre que complexité

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9224 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 10 insertions, 10 deletions

diff --git a/test-suite/check b/test-suite/check
index a0dc8fd81..20d22c224 100755
--- a/test-suite/check
+++ b/test-suite/check
@@ -134,16 +134,16 @@ test_complexity() {
 
 # Programme principal
 
-#echo "Success tests"
-#test_success success
-#echo "Failure tests"
-#test_failure failure
-#echo "Output tests"
-#test_output output
-#echo "Parser tests"
-#test_parser parser
-#echo "Interactive tests"
-#test_interactive interactive
+echo "Success tests"
+test_success success
+echo "Failure tests"
+test_failure failure
+echo "Output tests"
+test_output output
+echo "Parser tests"
+test_parser parser
+echo "Interactive tests"
+test_interactive interactive
 echo "Complexity tests"
 test_complexity complexity
 echo "Module tests"