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