Up Next

Comparing the Herd (axiomatic) and Op (operational) models

Allowed by Herd, forbidden by Op

There is no such test

Allowed by Op, forbidden by Herd

There are 9 such tests
 HerdOp
SC-FAILForbidAllow
LR-SC-diff-loc1ForbidAllow
LR-SC-diff-loc3ForbidAllow
ISA-LB-DEP-ADDR2-SUCCESSForbidAllow
ISA-LB-DEP-ADDR3-SUCCESSForbidAllow
ISA-MP-DEP-ADDR-LR-FAILForbidAllow
ISA-MP-DEP-ADDR-LR-SUCCESSForbidAllow
LR-SC-diff-loc4ForbidAllow
LR-SC-diff-loc2ForbidAllow

Up Next