BOOLE

测试

测试覆盖率

获取测试覆盖率，我使用grcov。请参阅说明步骤。

export RUSTFLAGS="-Cinstrument-coverage"
export LLVM_PROFILE_FILE="./coverage/lib-%p-%m.profraw"
cargo build
cargo test
grcov ./coverage -s . --binary-path ./target/debug/ -t html --branch --ignore-not-existing -o ./target/debug/coverage/
open ./target/debug/coverage/index.html

基于属性的测试

该库使用基于属性的测试。它使用quickcheck软件包。

文档

数学表达式

更多信息请参阅此处和此处。

set RUSTDOCFLAGS=--html-in-header katex-header.html
cargo doc --no-deps --open

关于

代码在美丽的爱沙尼亚萨雷马岛设计编写。萨雷马