-(write-line "")
-(write-string "Finished. The execution took ")
-(write-string (prin1-to-string (/ (- (get-internal-real-time) *timestamp*) internal-time-units-per-second)))
-(write-line " seconds.")
+(format t "~%Finished. The execution took ~a seconds.~%"
+ (/ (- (get-internal-real-time) *timestamp*) internal-time-units-per-second 1.0))
-(cond
- ((zerop *failed-tests*)
- (write-string "All tests (")
- (write-string (prin1-to-string *passed-tests*))
- (write-line ") passed successfully"))
- (t
- (write-string (prin1-to-string *failed-tests*))
- (write-string "/")
- (write-string (prin1-to-string (+ *passed-tests* *failed-tests*)))
- (write-line " failed.")))
+(if (= *passed-tests* *total-tests*)
+ (format t "All the tests (~a) passed successfully.~%" *total-tests*)
+ (format t "~a/~a test(s) passed successfully.~%" *passed-tests* *total-tests*))
+
+(unless (zerop *expected-failures*)
+ (format t "~a test(s) failed expectedly.~%" *expected-failures*))
+
+(unless (zerop *unexpected-passes*)
+ (format t "~a test(s) passed unexpectedly.~%" *unexpected-passes*))