]> git.lizzy.rs Git - rust.git/commit - src/tools/clippy
Rollup merge of #66951 - RalfJung:miri-machine-stop, r=oli-obk
authorMazdak Farrokhzad <twingoow@gmail.com>
Tue, 3 Dec 2019 18:41:52 +0000 (19:41 +0100)
committerGitHub <noreply@github.com>
Tue, 3 Dec 2019 18:41:52 +0000 (19:41 +0100)
commit71d1286bdf5cc094532a6263ad4cfaad5c54d097
tree6c79576fa5ef16a90f692c19465b1506515bcdf8
parentd4b623547fc2a7ee774ec3db89c89858c68cd10c
parentff5fcac6c240fd40e24356dd4fab07bbb2b41f5e
Rollup merge of #66951 - RalfJung:miri-machine-stop, r=oli-obk

miri: add throw_machine_stop macro

r? @oli-obk
This helps Miri: https://github.com/rust-lang/miri/pull/1093