Previous Up Next

Violations of coherence

We first identify a set of uncontroversial invalid behaviours. Those violate the sc per location check.

There are 11 such tests
 FlowingUni
DETOUR0110AllowForbid
DETOUR0305AllowForbid
DETOUR0306AllowForbid
DETOUR0465AllowForbid
DETOUR1035AllowForbid
DETOUR1174AllowForbid
DETOUR1175AllowForbid
DETOUR1299AllowForbid
MOREDETOUR0154AllowForbid
LB+data+fri-rfi-fri-rfi-addr+OKAllowForbid
MOREDETOUR0189AllowForbid

Previous Up Next