[TEST] Generate test...
Checking harness verify::try_nz_u8

already found in source code, so skipping modification.

[TEST] Only codegen test...
Building modified.rs
playback_already_existing/kani_concrete_playback

[TEST] Run test...
test result: ok. 2 passed; 0 failed;

[TEST] Json format...
{"artifact":