data/full_repos/permissive/143278/ivltests/pr1467825.v
 line:28: before: "="
data/verilator_xmls/065bec11-8ea2-4b92-aa06-601976d2867b.xml
module test (Z, A, B);

   output Z;
   input A;
   input B;

   xor (Z, A, B);



   specify

   ifnone (A +=> Z) = (1.0,1.0);

   endspecify


endmodule
module test (Z, A, B);


   output Z;
   input A;
   input B;

   xor (Z, A, B);



   specify

   ifnone (A +=> Z) = (1.0,1.0);

   endspecify


endmodule