diff options
| -rwxr-xr-x | test-suite/check | 20 |
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" |