miri
1.79.0-beta.5
(0436bf18f 2024-05-17)
In miri::helpers
?
Settings
Function
miri
::
helpers
::
isolation_abort_error
Copy item path
source
·
[
−
]
pub fn isolation_abort_error<'tcx>(name: &
str
) ->
InterpResult
<'tcx>