Run verification...
Checking harness verify::any_is_err...
Complete - 2 successfully verified harnesses, 0 failures, 2 total.

Run ok test...
test verify::kani_concrete_playback_any_is_ok\
\
test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 1 filtered out;

Run error test...
test verify::kani_concrete_playback_any_is_err\
\
test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 1 filtered out;

Run all tests...
running 2 tests
test verify::kani_concrete_playback_any_is_err
test verify::kani_concrete_playback_any_is_ok
test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out;