Test WW

Executions for behaviour: "x=1"

ARM WW
"PosWW Wse"
Cycle=Wse PosWW
Relax=
Safe=Wse PosWW
Prefetch=
Com=Ws
Orig=PosWW Wse
{
%x0=x;
}
 P0           ;
 MOV R0,#1    ;
 STR R0,[%x0] ;
 MOV R1,#2    ;
 STR R1,[%x0] ;
exists x=1