| 122 | } |
| 123 | |
| 124 | static int DeinitShouldNotBeCalled(void* h) { |
| 125 | // Should not be called when handle is already null |
| 126 | return -1; |
| 127 | } |
| 128 | |
| 129 | static int InitWithError(void** handle_addr) { |
| 130 | TVMFFIErrorSetRaisedFromCStr("RuntimeError", "Initialization failed"); |
nothing calls this directly
no outgoing calls
no test coverage detected