文件名称：libhoare, 基于契约风格的Rust的设计.zip
文件大小：18KB
文件格式：ZIP
更新时间：2022-10-08 01:05:11
开源
libhoare, 基于契约风格的Rust的设计 LibHoare简单 Rust 支持契约风格断言设计。 支持前提条件( precond )postconditions ( postcond )，不变量( pre和 post ) ( invariant ) 。每个宏接受一个
【文件预览】：
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)
--------cfail-2.rs(682B)
----Cargo.toml(272B)
----tests()
--------test_with_methods.rs(1KB)
--------test_trivial.rs(5KB)
----examples()
--------hello.rs(1KB)
--------doc.rs(1KB)
--------lexer.rs(6KB)
----test.sh(791B)
----libhoare()
--------lib.rs(16KB)
----readme.md(4KB)
----.travis.yml(140B)