Searched refs:future_writes_completed (Results 1 – 1 of 1) sorted by relevance
241 future_writes_completed: HashMap<u32, bool>, field388 s.future_writes_completed.insert(payload.future, true); in run()391 s.future_writes_completed.insert(payload.future, false); in run()511 State::test_property(|s| match s.future_writes_completed.remove(&id) { in run()522 State::test_property(|s| match s.future_writes_completed.remove(&id) { in run()