cargo test fails

[zookoatshieldedlabs]

I did a git clone:

git clone https://github.com/informalsystems/malachite

cd'ed into code

and ran cargo test

result:

running 2 tests
test tests::streaming::test_mbt_part_streaming_specified_traces ... FAILED
test tests::streaming::test_mbt_part_streaming_random_traces ... FAILED

failures:

---- tests::streaming::test_mbt_part_streaming_specified_traces stdout ----
Using QUINT_SEED=118
/tmp/informalsystems-malachitebft-part-streamingLroez3
🪄 Generating test traces for "block-streaming/part_stream.qnt"...

thread 'tests::streaming::test_mbt_part_streaming_specified_traces' panicked at crates/starknet/test/mbt/src/utils.rs:18:10:
Failed to run quint test: Os { code: 2, kind: NotFound, message: "No such file or directory" }
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

---- tests::streaming::test_mbt_part_streaming_random_traces stdout ----
Using QUINT_SEED=118
/tmp/informalsystems-malachitebft-part-streamingutFaBt
🪄 Generating random traces for "block-streaming/part_stream.qnt"...

thread 'tests::streaming::test_mbt_part_streaming_random_traces' panicked at crates/starknet/test/mbt/src/utils.rs:47:10:
Failed to run quint test: Os { code: 2, kind: NotFound, message: "No such file or directory" }


failures:
    tests::streaming::test_mbt_part_streaming_random_traces
    tests::streaming::test_mbt_part_streaming_specified_traces

test result: FAILED. 0 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.01s

error: test failed, to rerun pass `-p informalsystems-malachitebft-starknet-test-mbt --lib`

expected result:

tests passed.

[romac]

Sorry about that! I our test process is unfortunately a bit more involved than running cargo test, I've opened #875 with detailed information about how to build and run tests. Let me know if that helps!