miri engine: add option to use force_int for alignment check#75592
Merged
bors merged 2 commits intorust-lang:masterfrom Aug 17, 2020
Merged
miri engine: add option to use force_int for alignment check#75592bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom
