fix unsoundness in Step::forward_unchecked for signed integers#122461

Merged

bors merged 2 commits intorust-lang:masterfrom

the8472:fix-step-forward-unchecked

Mar 14, 2024

Commits on Mar 13, 2024

fix unsoundness in Step::forward_unchecked for signed integers
the8472
committed
update virtual clock in miri test since signed loops now execute more methods
the8472
committed