diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-09-11 17:59:53 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-08 10:51:01 +0100 |
| commit | 11f673d8c3827e8e2d812bacd0ac21739b54193c (patch) | |
| tree | 5dfed39269811f81941fc30f672c3cfdd0f3adf4 /validation | |
| parent | 2196ac9040a20043088b550dd0345caadf0f378d (diff) | |
| download | sparse-dev-11f673d8c3827e8e2d812bacd0ac21739b54193c.tar.gz | |
testsuite: clearer result summary
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rwxr-xr-x | validation/test-suite | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/validation/test-suite b/validation/test-suite index 0311cc45..94120069 100755 --- a/validation/test-suite +++ b/validation/test-suite @@ -354,15 +354,20 @@ do_test_suite() do_test "$i" done + OK=OK + [ $failed -eq 0 ] || OK=KO + # prints some numbers tests_nr=$(($ok_tests + $ko_tests)) - echo "Out of $tests_nr tests, $ok_tests passed, $ko_tests failed" \ - " ($known_ko_tests of them are known to fail)" + echo "$OK: out of $tests_nr tests, $ok_tests passed, $ko_tests failed" + if [ "$known_ko_tests" -ne 0 ]; then + echo " $known_ko_tests of them are known to fail" + fi if [ "$unhandled_tests" -ne "0" ]; then - echo "$unhandled_tests tests could not be handled by $prog_name" + echo " $unhandled_tests tests could not be handled by $prog_name" fi if [ "$disabled_tests" -ne "0" ]; then - echo "$disabled_tests tests were disabled" + echo " $disabled_tests tests were disabled" fi } |