Previous Up

Comparison on ARM tests

Notice that we have restricted the comparison to behaviours that cannot result from executions that feature some read-after-read hazard.

More behaviours

There are 8 such tests
 NoDetourModelARMTegra3Exynos4412Exynos5410APQ8064
DETOUR0656AllowForbidNo, 0/17GNo, 0/3.9GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
   Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
DETOUR0657AllowForbidNo, 0/17GNo, 0/3.9GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
   Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
DETOUR0658AllowForbidNo, 0/17GNo, 0/3.9GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
   Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
DETOUR0662AllowForbidNo, 0/17GNo, 0/3.9GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
   Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
MP+dmb+ctrl-detw-addrAllowForbidNo, 0/42GNo, 0/19GNo, 0/17GNo, 0/3.1GNo, 0/2.3G
   Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
RDWAllowForbidNo, 0/40GNo, 0/23GNo, 0/11GNo, 0/3.1GNo, 0/2.3G
   Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
MOREDETOUR0443AllowForbidNo, 0/16GNo, 0/3.1GNo, 0/7.2GNo, 0/3.1GNo, 0/2.3G
   Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen
RSDWIAllowForbidNo, 0/14GNo, 0/2.5GNo, 0/6.4GNo, 0/3.1GNo, 0/2.3G
   Allow unseenAllow unseenAllow unseenAllow unseenAllow unseen

Less behaviours

There is no such test
Previous Up