Skip to content

add reusable MachineStop variant to Miri engine error enum#66926

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:miri-stop
Dec 2, 2019
Merged

add reusable MachineStop variant to Miri engine error enum#66926
bors merged 1 commit intorust-lang:masterfrom
RalfJung:miri-stop

Commits

Commits on Dec 1, 2019