文件名称:shen-test:一个简单、富有表现力的沉程序测试框架
文件大小:3KB
文件格式:ZIP
更新时间:2024-07-16 05:10:42
Shen
慎测 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 (<
【文件预览】:
shen-test-master
----README.asciidoc(895B)
----sample-tests.shen(878B)
----LICENSE.txt(1KB)
----shen-test.shen(6KB)