libhoare 基于契约风格的Rust的设计.zip
libhoare, 基于契约风格的Rust的设计 LibHoare简单 Rust 支持契约风格断言设计。 支持前提条件( precond )postconditions ( postcond ),不变量( pre和 post ) ( invariant ) 。每个宏接受一个
文件列表
libhoare.zip
(预估有个18文件)
libhoare-master
.gitignore
18B
tests-release
test_release.rs
749B
tests-cfail
cfail-1.rs
678B
cfail-3.rs
679B
cfail-4.rs
680B
cfail-5.rs
676B
cfail-6.rs
675B
暂无评论