>Imagine having to test an app for its ability to handle safe read-write of OS-level state. I Also it should be able to handle invariants as modifying multiple

>Imagine having to test an app for its ability to handle safe read-write of OS-level state. I Also it should be able to handle invariants as modifying multiple variables is not an atomic process, either.