From c1624954bb4f88b611528b16013dcb659c02ed47 Mon Sep 17 00:00:00 2001 From: herbelin Date: Fri, 6 Oct 2006 23:19:10 +0000 Subject: suite commit 9222 : rétablissement des tests autre que complexité MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9224 85f007b7-540e-0410-9357-904b9bb8a0f7 --- test-suite/check | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) (limited to 'test-suite/check') 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" -- cgit v1.2.3