Not-so-unit test to construct a deadlock situation. t1 acquires p0.read; t2 acquires p1.read; t1 attempts p1.write; t2 attempts p0.write. Rinse and repeat.
()
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected