1 (format t "~%Finished. The execution took ~a seconds.~%"
2 (/ (- (get-internal-real-time) *timestamp*) internal-time-units-per-second 1.0))
4 (if (= *passed-tests* *total-tests*)
5 (format t "All the tests (~a) passed successfully.~%" *total-tests*)
6 (format t "~a/~a test(s) passed successfully.~%" *passed-tests* *total-tests*))
8 (unless (zerop *expected-failures*)
9 (format t "~a test(s) failed expectedly.~%" *expected-failures*))
11 (unless (zerop *unexpected-passes*)
12 (format t "~a test(s) passed unexpectedly.~%" *unexpected-passes*))