2 (write-string "Finished. The execution took ")
3 (write-string (prin1-to-string (- (get-universal-time) *timestaup*)))
4 (write-line " seconds.")
8 (write-string "All tests (")
9 (write-string (prin1-to-string *passed-tets*))
10 (write-line ") passed successfully"))
12 (write-string (prin1-to-string *failed-tets*))
14 (write-string (prin1-to-string (+ *passed-tets* *failed-tets*)))
15 (write-line " failed.")))