证明 该项目最初称为“ CL-TEST-MORE”。 “证明”是Common Lisp的另一个单元测试框架。 “证明”的优点是： 各种简单的功能，用于测试和提供有用的错误消息 为报告着色（如果可用）（ ） 报告测试时间 快速开始 1.编写测试文件 (in-package :cl-user) (defpackage my-test (:use :cl :prove)) (in-package :my-test) (plan 3 ) (ok ( not (find 4 '