Skip to content

Update which libcore/liballoc tests Miri ignores, and document why - #58433

Merged
bors merged 8 commits into
rust-lang:masterfrom
RalfJung:miri-mark-tests
Feb 17, 2019
Merged

Update which libcore/liballoc tests Miri ignores, and document why#58433
bors merged 8 commits into
rust-lang:masterfrom
RalfJung:miri-mark-tests

miri: test with slightly larger BTrees

c154bf7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs