]> git.lizzy.rs Git - rust.git/commit
add option to track a particular AllocId (does nothing yet)
authorRalf Jung <post@ralfj.de>
Fri, 6 Mar 2020 08:06:23 +0000 (09:06 +0100)
committerRalf Jung <post@ralfj.de>
Fri, 6 Mar 2020 08:06:23 +0000 (09:06 +0100)
commitd82d7013600a9f0ce6ffb74aed0a0701bdeccd79
treea71d54da32c3ae1d08bcbee11b6907ceb70c6b7d
parent63925169c1d713c01646e37ebbf32c03467a650a
add option to track a particular AllocId (does nothing yet)
benches/helpers/miri_helper.rs
src/bin/miri-rustc-tests.rs
src/bin/miri.rs
src/eval.rs
src/machine.rs