data/full_repos/permissive/42434302/ivltests/pr2728032.v
1: b'%Warning-STMTDLY: data/full_repos/permissive/42434302/ivltests/pr2728032.v:19: Unsupported: Ignoring delay on this delayed statement.\n    #1000 in = 1\'b0;\n    ^\n                  ... Use "/* verilator lint_off STMTDLY */" and lint_on around source to disable this message.\n%Warning-STMTDLY: data/full_repos/permissive/42434302/ivltests/pr2728032.v:20: Unsupported: Ignoring delay on this delayed statement.\n    #1000 in = 1\'b1;\n    ^\n%Warning-STMTDLY: data/full_repos/permissive/42434302/ivltests/pr2728032.v:21: Unsupported: Ignoring delay on this delayed statement.\n    #1000 in = 1\'b0;\n    ^\n%Warning-STMTDLY: data/full_repos/permissive/42434302/ivltests/pr2728032.v:22: Unsupported: Ignoring delay on this delayed statement.\n    #1000 in = 1\'b1;\n    ^\n%Warning-STMTDLY: data/full_repos/permissive/42434302/ivltests/pr2728032.v:23: Unsupported: Ignoring delay on this delayed statement.\n    #1000 in = 1\'bx;\n    ^\n%Warning-STMTDLY: data/full_repos/permissive/42434302/ivltests/pr2728032.v:24: Unsupported: Ignoring delay on this delayed statement.\n    #1000 in = 1\'b0;\n    ^\n%Warning-STMTDLY: data/full_repos/permissive/42434302/ivltests/pr2728032.v:25: Unsupported: Ignoring delay on this delayed statement.\n    #1000 in = 1\'bx;\n    ^\n%Warning-STMTDLY: data/full_repos/permissive/42434302/ivltests/pr2728032.v:26: Unsupported: Ignoring delay on this delayed statement.\n    #1000 in = 1\'b1;\n    ^\n%Warning-STMTDLY: data/full_repos/permissive/42434302/ivltests/pr2728032.v:27: Unsupported: Ignoring delay on this delayed statement.\n    #1000 in = 1\'b0;\n    ^\n%Warning-STMTDLY: data/full_repos/permissive/42434302/ivltests/pr2728032.v:28: Unsupported: Ignoring delay on this delayed statement.\n    #1000 if (pass) $display("PASSED");\n    ^\n%Error: Exiting due to 10 warning(s)\n        ... See the manual and https://verilator.org for more assistance.\n'
module var_3 (output out, input in);
  time delayr = 100;
  time delayf = 200;
  time delayd = 300;
  assign #(delayr, delayf, delayd) out = (in === 1'bx) ? 1'bz : ~in;

  always @(out) begin
    case (out)
      1'b0: if ($time - top.change != delayf) begin
        $display("Failed var_3 fall");
        top.pass = 1'b0;
      end
      1'b1: if ($time - top.change != delayr) begin
        $display("Failed var_3 rise");
        top.pass = 1'b0;
      end
      1'bz: if ($time - top.change != delayd) begin
        $display("Failed var_3 high-Z");
        top.pass = 1'b0;
      end
      default: begin
        $display("FAILED var_3 default");
        top.pass = 1'b0;
      end
    endcase
  end
endmodule
module var_3 (output out, input in);

  time delayr = 100;
  time delayf = 200;
  time delayd = 300;
  assign #(delayr, delayf, delayd) out = (in === 1'bx) ? 1'bz : ~in;

  always @(out) begin
    case (out)
      1'b0: if ($time - top.change != delayf) begin
        $display("Failed var_3 fall");
        top.pass = 1'b0;
      end
      1'b1: if ($time - top.change != delayr) begin
        $display("Failed var_3 rise");
        top.pass = 1'b0;
      end
      1'bz: if ($time - top.change != delayd) begin
        $display("Failed var_3 high-Z");
        top.pass = 1'b0;
      end
      default: begin
        $display("FAILED var_3 default");
        top.pass = 1'b0;
      end
    endcase
  end
endmodule