Test CoWW

Executions for behaviour: "x=1"

Executions for behaviour: "x=2"

ARM CoWW ()
"CoWW"
{
P0:R5=x; P0:R1=1; P0:R2=2;
}
P0           ;
str R1,R5 ;
str R2,R5 ;
exists (x=1) \/ (x=2)