Warning: Permanently added '10.128.0.145' (ED25519) to the list of known hosts. 2023/04/27 00:05:43 fuzzer started 2023/04/27 00:05:46 connecting to host at 10.128.15.235:36628 2023/04/27 00:05:46 checking machine... 2023/04/27 00:05:46 checking revisions... 2023/04/27 00:05:46 testing simple program... 2023/04/27 00:05:47 SYZFATAL: BUG: got no coverage: