data/full_repos/permissive/143278/ivltests/pr2202706b.v
data/verilator_xmls/e1dfe7c4-d3a9-43d2-b3da-ec0f5eba6d06.xml
module top;
  reg passed;

  initial begin
    passed = 1'b1;
    if ($test$plusargs("opt") == 0) begin
      $display("Failed to find +opt");
      passed = 1'b0;
    end
    if ($test$plusargs("option") == 0) begin
      $display("Failed to find +option");
      passed = 1'b0;
    end
    if ($test$plusargs("options") != 0) begin
      $display("Failed, found +options");
      passed = 1'b0;
    end

    if (passed) $display("PASSED");
  end
endmodule
module top;

  reg passed;

  initial begin
    passed = 1'b1;
    if ($test$plusargs("opt") == 0) begin
      $display("Failed to find +opt");
      passed = 1'b0;
    end
    if ($test$plusargs("option") == 0) begin
      $display("Failed to find +option");
      passed = 1'b0;
    end
    if ($test$plusargs("options") != 0) begin
      $display("Failed, found +options");
      passed = 1'b0;
    end

    if (passed) $display("PASSED");
  end
endmodule