Skip to content

Miri core engine: use throw_ub instead of throw_panic#66927

Merged
bors merged 2 commits intorust-lang:masterfrom
RalfJung:engines-dont-panic
Dec 7, 2019

Commits

Commits on Dec 1, 2019