Open riking opened 4 months ago
How are you getting miri to run without complaining about FFI?
Also, hard to read these logs but looks like the error is in the C implementation, which I can't fix. :/ but going to dig in and see what I can do
I believe it's -Zdisable-isolation or something like that?
You're probably passing a non null terminated string.
https://asan.saethlin.dev/ub?crate=minimap2&version=0.1.14%2Bminimap2.2.26