Issue discovered in TB: spurious reads are not (yet) possible in a concurrent setting#3054

Merged

bors merged 1 commit intorust-lang:masterfrom Vanille-N:spurious-fail

Sep 19, 2023

+917-146

Commits on Sep 19, 2023

Issue of the current model: spurious reads are not possible
Vanille-N
committed