Correctness 2PL Tests 03-06
w 1 x
r 2 x
w 2 y
r 3 y
w 3 z
r 1 z
c 3
c 2
c 1
2PL
w 1 x
w 2 y
w 3 z
a 1
r 2 x
c 3
c 2
r 3 y
``` from test 3
I think the test is not correct atm, for example w2y is scheduled before r2x and r3y is after c3
the other 2pl variants also seem incorrect for the same reasons
similar things seem to be happening in tests 4-6 as well