Regression with previous run

Comparison applies to all behaviours. However notice that behaviours that could result from the occurrence of Read after Read hazard anomaly have been removed from the hardware logs.

There are 102 such tests

	Flowing	Prev	ARM-Model	Exp	Hardware
2+2W+dmb+rfinar-datarna	Forbid	Allow	Forbid	Forbid	No, 0/3.7G
					Allow unseen
MP+rfinar-datarna+addr	Forbid	Allow	Forbid	Forbid	No, 0/3.7G
					Allow unseen
MP+rfinar-datarna+dmb	Forbid	Allow	Forbid	Forbid	No, 0/3.7G
					Allow unseen
R+dmb+rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/3.7G
					Allow unseen
R+rfinar-datarna+dmb	Forbid	Allow	Forbid	Forbid	No, 0/3.7G
					Allow unseen
S+rfinar-datarna+addr	Forbid	Allow	Forbid	Forbid	No, 0/3.7G
					Allow unseen
S+rfinar-datarna+data	Forbid	Allow	Forbid	Forbid	No, 0/3.7G
					Allow unseen
S+rfinar-datarna+dmb	Forbid	Allow	Forbid	Forbid	No, 0/3.7G
					Allow unseen
SB+dmb+rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/3.7G
					Allow unseen
2+2W+rfi-data+rfinar-datarna	Forbid	Allow	Forbid	Forbid	No, 0/3.7G
					Allow unseen
2+2W+rfinar-datarnas	Forbid	Allow	Forbid	Forbid	No, 0/3.7G
					Allow unseen
R+rfi-data+rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/3.7G
					Allow unseen
R+rfinar-datarna+rfi-addr	Forbid	Allow	Forbid	Forbid	No, 0/3.7G
					Allow unseen
R+rfinar-datarna+rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/3.7G
					Allow unseen
SB+rfi-addr+rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/3.7G
					Allow unseen
SB+rfinar-addrrnas	Forbid	Allow	Forbid	Forbid	No, 0/3.7G
					Allow unseen
MP+dmb+addr-fri-rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/3.7G
					Allow unseen
2+2W+rfinar-datarna+rfiana-data	Forbid	Allow	Forbid	Forbid	No, 0/3.6G
					Allow unseen
2+2W+rfinar-datarna+rfiar-datarna	Forbid	Allow	Forbid	Forbid	No, 0/3.6G
					Allow unseen
MP+rfi-data+addr-fri-rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/3.6G
					Allow unseen
MP+rfinar-datarna+addr-fri-rfi-addr	Forbid	Allow	Forbid	Forbid	No, 0/3.6G
					Allow unseen
MP+rfinar-datarna+addr-fri-rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/3.6G
					Allow unseen
R+rfiana-data+rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/3.6G
					Allow unseen
R+rfiar-datarna+rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/3.6G
					Allow unseen
R+rfinar-datarna+rfiana-addr	Forbid	Allow	Forbid	Forbid	No, 0/3.6G
					Allow unseen
R+rfinar-datarna+rfiar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/3.6G
					Allow unseen
SB+rfinar-addrrna+rfiana-addr	Forbid	Allow	Forbid	Forbid	No, 0/3.6G
					Allow unseen
SB+rfinar-addrrna+rfiar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/3.6G
					Allow unseen
MP+rfiana-data+addr-fri-rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/3.6G
					Allow unseen
MP+rfiar-datarna+addr-fri-rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/3.6G
					Allow unseen
RWC+addr+rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
RWC+dmb+rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
WRR+2W+addr+rfinar-datarna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
WRR+2W+dmb+rfinar-datarna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
WRW+2W+addr+rfinar-datarna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
WRW+2W+data+rfinar-datarna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
WRW+2W+dmb+rfinar-datarna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
WRW+WR+addr+rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
WRW+WR+data+rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
WRW+WR+dmb+rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
3.2W+dmb+dmb+rfinar-datarna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
3.SB+dmb+dmb+rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
ISA2+rfinar-datarna+addr+addr	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
ISA2+rfinar-datarna+addr+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
ISA2+rfinar-datarna+data+addr	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
ISA2+rfinar-datarna+data+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
ISA2+rfinar-datarna+dmb+addr	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
ISA2+rfinar-datarna+dmb+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
W+RWC+dmb+addr+rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
W+RWC+dmb+dmb+rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
W+RWC+rfinar-datarna+addr+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
W+RWC+rfinar-datarna+dmb+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.0+dmb+addr+rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.0+dmb+data+rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.0+dmb+dmb+rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.0+rfinar-datarna+addr+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.0+rfinar-datarna+data+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.0+rfinar-datarna+dmb+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.1+dmb+rfinar-datarna+addr	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.1+dmb+rfinar-datarna+data	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.1+dmb+rfinar-datarna+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.1+rfinar-datarna+dmb+addr	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.1+rfinar-datarna+dmb+data	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.1+rfinar-datarna+dmb+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.2+rfinar-datarna+addr+addr	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.2+rfinar-datarna+addr+data	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.2+rfinar-datarna+addr+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.2+rfinar-datarna+data+addr	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.2+rfinar-datarna+data+data	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.2+rfinar-datarna+data+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.2+rfinar-datarna+dmb+addr	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.2+rfinar-datarna+dmb+data	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.2+rfinar-datarna+dmb+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.3+dmb+rfinar-datarna+addr	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.3+dmb+rfinar-datarna+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.3+rfinar-datarna+dmb+addr	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.3+rfinar-datarna+dmb+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.4+dmb+dmb+rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.4+dmb+rfinar-addrrna+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.4+rfinar-datarna+dmb+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.5+dmb+rfinar-datarna+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.5+rfinar-datarna+dmb+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
RWC+addr-fri-rfinar-addrrna+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
WRC+addr+addr-fri-rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
WRC+data+addr-fri-rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
WRC+dmb+addr-fri-rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.0+rfi-data+data+rfinar-addrrna	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.1+rfi-data+rfinar-datarna+addr	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.1+rfi-data+rfinar-datarna+data	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.1+rfi-data+rfinar-datarna+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.1+rfinar-datarna+rfi-data+addr	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.1+rfinar-datarna+rfi-data+data	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.1+rfinar-datarna+rfi-data+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.1+rfinar-datarna+rfinar-datarna+addr	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.1+rfinar-datarna+rfinar-datarna+data	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.1+rfinar-datarna+rfinar-datarna+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.3+rfi-data+rfinar-datarna+addr	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.3+rfi-data+rfinar-datarna+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.3+rfinar-datarna+rfi-data+addr	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.3+rfinar-datarna+rfi-data+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.3+rfinar-datarna+rfinar-datarna+addr	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen
Z6.3+rfinar-datarna+rfinar-datarna+dmb	Forbid	Allow	Forbid	Forbid	No, 0/1.1G
					Allow unseen

Regression with previous run

More behaviours

Less behaviours