shen-test:一个简单、富有表现力的沉程序测试框架

慎测 ShenTest 是一个简单的、富有表现力的沉程序测试框架。 状态：阿尔法 还在煮。 这里有一个快速的味道来激发你的胃口： (load "shen-test.shen" ) (testing "(vector N)" given N is 3 V is (vector N ) verify V satisfies vector? (limit V ) is N ) (testing "(<-vector V N)" given V is (vector-> (vector 2 ) 1 a-previously-stored-value ) verify (<-vector V 1 ) is a-previously-stored-value (<-vector V -1 ) raises an error (<