BOOLE

Tests

Test Coverage

To get the test coverage, I use the grcov. See the instructions steps.

bash 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

Read more here and here.

bash 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.