ppc/mix
This family corresponds to litmus tests involving pairs exercising typical Power scenarios. Therefore they should answer Yes in litmus terms, or Verification Failed in verification terms as soon as the model is Power. It involves several diy cycles instead of one.
Name | SC | TSO (all delay/cyc) | TSO (1 delay/cyc) | Expected (TSO) | PSO (all delay/cyc) | PSO (1 delay/cyc) | Expected (PSO) | RMO (all delay/cyc) | RMO (1 delay/cyc) | Expected (RMO) | Power (all delay/cyc) | Power (1 delay/cyc) | Expected (Power) |