BOOLE
Tests
Test Coverage
To get the test coverage, I use the grcov. See the instructions steps.
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
Property Based Testing
The library is using property based testing. It uses the quickcheck crate.
Documentation
Mathematical Expressions
set RUSTDOCFLAGS=--html-in-header katex-header.html
cargo doc --no-deps --open
About
Code designed and written on the beautiful island of Saaremaa, Estonia.