From: bors <bors@rust-lang.org>
Date: Sun, 11 Nov 2018 14:24:39 +0000 (+0000)
Subject: Auto merge of #55674 - oli-obk:miri_engine_refactoring, r=RalfJung
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=a88613c86901083dd9f87c43f41d6c0f84f88dee;p=rust.git

Auto merge of #55674 - oli-obk:miri_engine_refactoring, r=RalfJung

Miri engine refactoring

r? @RalfJung

split out the "just moves stuff around" part of https://github.com/rust-lang/rust/pull/55293
---

a88613c86901083dd9f87c43f41d6c0f84f88dee