Previous Up

Regression with respect to PLDI11

More behaviours

There are 4 such tests
 KindOp.NewPLDI11ModelOp.StrongOpPowerG5Power6Power7
Z6.1+sync+lwsync+addrAllowAllowForbidForbid—AllowNo, 0/5.0GNo, 0/1.7GNo, 0/41G
       Allow unseenAllow unseenAllow unseen
DETOUR0821AllowAllowForbidAllowAllowAllowOk, 2/3.7GNo, 0/3.4GOk, 26k/46G
        Allow unseen 
MP+lwsync+addr-po-detrAllowAllowForbidAllowAllow—Ok, 3/2.9G—Ok, 21k/34G
MP+sync+addr-po-detrAllowAllowForbidAllowAllowAllowOk, 1/2.9G—Ok, 17k/34G

Less behaviours

There is no such test
Previous Up