tree c672705607d653c207650fb4b1a783a15d031fae
parent 4007d4ef26eab44bdabc2b7574d032152264d3ad
author Ralf Jung <post@ralfj.de> 1575198485 +0100
committer Ralf Jung <post@ralfj.de> 1575198485 +0100

Miri core engine: use throw_ub instead of throw_panic