Run the tests using Make
make test_generation
make test_storage
make test_exploration
make test_final
make clean
Run the tests using Rust (clang
is required)
cargo test test_generation
cargo test test_storage
cargo test test_exploration
cargo test test_final
cargo test # for all tests
cargo clean