(uc: Uc, input_bytes: Array[c_char], iters: int, context: Any)
| 94 | persistent_iters: int = 1): |
| 95 | |
| 96 | def __place_input_wrapper(uc: Uc, input_bytes: Array[c_char], iters: int, context: Any) -> bool: |
| 97 | return place_input_callback(ql, input_bytes.raw, iters) |
| 98 | |
| 99 | def __validate_crash_wrapper(uc: Uc, result: int, input_bytes: Array[c_char], iters: int, context: Any) -> bool: |
| 100 | return validate_crash_callback(ql, result, input_bytes.raw, iters) |
nothing calls this directly
no test coverage detected