Commit 71d1286
authored
Rollup merge of rust-lang#66951 - RalfJung:miri-machine-stop, r=oli-obk
miri: add throw_machine_stop macro
r? @oli-obk
This helps Miri: rust-lang/miri#10931 file changed
+7
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
90 | 90 | | |
91 | 91 | | |
92 | 92 | | |
| 93 | + | |
| 94 | + | |
| 95 | + | |
| 96 | + | |
| 97 | + | |
| 98 | + | |
| 99 | + | |
93 | 100 | | |
94 | 101 | | |
95 | 102 | | |
| |||
0 commit comments