This commit is contained in:
Nicholas Ward 2022-08-04 14:56:16 -04:00
parent bf4cf1c64f
commit bbcb419521

View File

@ -499,11 +499,12 @@ pub(crate) mod tests {
let (context, segment, virt, vals) = if is_read {
let written: Vec<_> = current_memory_values.keys().collect();
let &(mut context, mut segment, mut virt) = written[rng.gen_range(0..written.len())];
let &(mut context, mut segment, mut virt) =
written[rng.gen_range(0..written.len())];
while new_writes_this_cycle.contains_key(&(context, segment, virt)) {
(context, segment, virt) = *written[rng.gen_range(0..written.len())];
}
let &vals = current_memory_values
.get(&(context, segment, virt))
.unwrap();