// Test dynamic array selection where the array elements are exclusive
// sel(idx, array x0 x1 x2 x3) == ! sel(idx, array !x0 !x1 !x2 !x3)

(*synthesize*)
module sysArraySelectTest();
   Bool   vals[4];
   Bool   notvals[4];
   for (Integer i = 0; i < 4; i = i + 1) begin
      Reg#(Bool) rg <- mkReg(False);
      vals[i] = rg;
      notvals[i] = !rg;
   end

   // register to make the selection dynamic
   Reg#(Bit#(2)) idx <- mkReg(0);

   // register to make the rule Actions conflict
   Reg#(UInt#(12)) uc <- mkReg(0);

   // predicates for aa and ab are disjoint

   rule aa (vals[idx]);
      uc <= uc + 1;
   endrule

   rule ab (notvals[idx]);
      uc <= uc + 2;
   endrule

   //  expect warning that bb can never fire
   rule  bb (idx == 0);
      uc <= uc + 3;
   endrule

endmodule