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

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

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

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