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

Read more here and here.

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.