2 (write-string "Finished. The execution took ")
3 (write-string (prin1-to-string (/ (- (get-internal-real-time) *timestamp*) internal-time-units-per-second 1.0)))
4 (write-line " seconds.")
7 ((zerop *failed-tests*)
8 (write-string "All tests (")
9 (write-string (prin1-to-string *passed-tests*))
10 (write-line ") passed successfully"))
12 (write-string (prin1-to-string *failed-tests*))
14 (write-string (prin1-to-string (+ *passed-tests* *failed-tests*)))
15 (write-line " failed.")))