data/full_repos/permissive/143278/ivltests/countdrivers5.v
 line:33: before: "integer"
1: b'%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:17: Unsupported: Verilog 1995 gate primitive: tran\ntran(net4, net1);\n    ^\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:18: Unsupported: Verilog 1995 gate primitive: tran\ntran(net4, net2);\n    ^\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:19: Unsupported: Verilog 1995 gate primitive: tran\ntran(net5, net3);\n    ^\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:20: Unsupported: Verilog 1995 gate primitive: tran\ntran(net5, net4);\n    ^\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/countdrivers5.v:70: Unsupported: Ignoring delay on this delayed statement.\n  #1;\n  ^\n                  ... Use "/* verilator lint_off STMTDLY */" and lint_on around source to disable this message.\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:71: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net1, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:73: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net2, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:75: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net3, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:77: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net4, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:79: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net5, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/countdrivers5.v:84: Unsupported: Ignoring delay on this delayed statement.\n  #1;\n  ^\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:85: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net1, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:87: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net2, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:89: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net3, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:91: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net4, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:93: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net5, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/countdrivers5.v:98: Unsupported: Ignoring delay on this delayed statement.\n  #1;\n  ^\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:99: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net1, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:101: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net2, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:103: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net3, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:105: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net4, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:107: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net5, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/countdrivers5.v:112: Unsupported: Ignoring delay on this delayed statement.\n  #1;\n  ^\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:113: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net1, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:115: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net2, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:117: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net3, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:119: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net4, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:121: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net5, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/countdrivers5.v:126: Unsupported: Ignoring delay on this delayed statement.\n  #1;\n  ^\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:127: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net1, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:129: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net2, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:131: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net3, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:133: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net4, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:135: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net5, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/countdrivers5.v:140: Unsupported: Ignoring delay on this delayed statement.\n  #1;\n  ^\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:141: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net1, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:143: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net2, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:145: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net3, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:147: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net4, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:149: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net5, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/countdrivers5.v:154: Unsupported: Ignoring delay on this delayed statement.\n  #1;\n  ^\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:155: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net1, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:157: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net2, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:159: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net3, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:161: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net4, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: data/full_repos/permissive/143278/ivltests/countdrivers5.v:163: Unsupported or unknown PLI call: $countdrivers\n  multi = $countdrivers(net5, forced, countD, count0, count1, countX);\n          ^~~~~~~~~~~~~\n%Error: Exiting due to 39 error(s), 7 warning(s)\n        ... See the manual and https://verilator.org for more assistance.\n'
module test();

wire net1;
wire net2;
wire net3;
wire net4;
wire net5;

reg src1;
reg src2;
reg src3;

assign net1 = src1;
assign net2 = src2;
assign net3 = src3;

tran(net4, net1);
tran(net4, net2);
tran(net5, net3);
tran(net5, net4);

integer multi;
integer forced;
integer countD;
integer count0;
integer count1;
integer countX;

reg failed = 0;

task check_results;

input integer expected_multi;
input integer expected_forced;
input integer expected_countD;
input integer expected_count0;
input integer expected_count1;
input integer expected_countX;

begin
  $write("multi = %0d ", multi);
  if (multi !== expected_multi) failed = 1;
  if (expected_forced != -1) begin
    $write("forced = %0d ", forced);
    if (forced !== expected_forced) failed = 1;
  end
  if (expected_countD != -1) begin
    $write("countD = %0d ", countD);
    if (countD !== expected_countD) failed = 1;
  end
  if (expected_count0 != -1) begin
    $write("count0 = %0d ", count0);
    if (count0 !== expected_count0) failed = 1;
  end
  if (expected_count1 != -1) begin
    $write("count1 = %0d ", count1);
    if (count1 !== expected_count1) failed = 1;
  end
  if (expected_countX != -1) begin
    $write("countX = %0d ", countX);
    if (countX !== expected_countX) failed = 1;
  end
  $write("\n");
end

endtask

initial begin
  src1 = 1'b0; src2 = 1'b0; src3 = 1'b0;
  #1;
  multi = $countdrivers(net1, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 2, 0, 0);
  multi = $countdrivers(net2, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 2, 0, 0);
  multi = $countdrivers(net3, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 2, 0, 0);
  multi = $countdrivers(net4, forced, countD, count0, count1, countX);
  check_results(1, 0, 3, 3, 0, 0);
  multi = $countdrivers(net5, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 2, 0, 0);
  $display("");

  src1 = 1'b1; src2 = 1'b0; src3 = 1'b0;
  #1;
  multi = $countdrivers(net1, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 1, 1);
  multi = $countdrivers(net2, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 1, 0, 1);
  multi = $countdrivers(net3, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 1, 0, 1);
  multi = $countdrivers(net4, forced, countD, count0, count1, countX);
  check_results(1, 0, 3, 0, 0, 3);
  multi = $countdrivers(net5, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 0, 2);
  $display("");

  src1 = 1'b1; src2 = 1'b1; src3 = 1'b0;
  #1;
  multi = $countdrivers(net1, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 1, 1);
  multi = $countdrivers(net2, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 1, 1);
  multi = $countdrivers(net3, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 1, 0, 1);
  multi = $countdrivers(net4, forced, countD, count0, count1, countX);
  check_results(1, 0, 3, 0, 0, 3);
  multi = $countdrivers(net5, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 0, 2);
  $display("");

  src1 = 1'b1; src2 = 1'b1; src3 = 1'b1;
  #1;
  multi = $countdrivers(net1, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 2, 0);
  multi = $countdrivers(net2, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 2, 0);
  multi = $countdrivers(net3, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 2, 0);
  multi = $countdrivers(net4, forced, countD, count0, count1, countX);
  check_results(1, 0, 3, 0, 3, 0);
  multi = $countdrivers(net5, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 2, 0);
  $display("");

  src1 = 1'b1; src2 = 1'bz; src3 = 1'bz;
  #1;
  multi = $countdrivers(net1, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 2, 0);
  multi = $countdrivers(net2, forced, countD, count0, count1, countX);
  check_results(0, 0, 1, 0, 1, 0);
  multi = $countdrivers(net3, forced, countD, count0, count1, countX);
  check_results(0, 0, 1, 0, 1, 0);
  multi = $countdrivers(net4, forced, countD, count0, count1, countX);
  check_results(1, 0, 3, 0, 3, 0);
  multi = $countdrivers(net5, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 2, 0);
  $display("");

  src1 = 1'bz; src2 = 1'b0; src3 = 1'bz;
  #1;
  multi = $countdrivers(net1, forced, countD, count0, count1, countX);
  check_results(0, 0, 1, 1, 0, 0);
  multi = $countdrivers(net2, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 2, 0, 0);
  multi = $countdrivers(net3, forced, countD, count0, count1, countX);
  check_results(0, 0, 1, 1, 0, 0);
  multi = $countdrivers(net4, forced, countD, count0, count1, countX);
  check_results(1, 0, 3, 3, 0, 0);
  multi = $countdrivers(net5, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 2, 0, 0);
  $display("");

  src1 = 1'bz; src2 = 1'bz; src3 = 1'b1;
  #1;
  multi = $countdrivers(net1, forced, countD, count0, count1, countX);
  check_results(0, 0, 1, 0, 1, 0);
  multi = $countdrivers(net2, forced, countD, count0, count1, countX);
  check_results(0, 0, 1, 0, 1, 0);
  multi = $countdrivers(net3, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 2, 0);
  multi = $countdrivers(net4, forced, countD, count0, count1, countX);
  check_results(1, 0, 3, 0, 3, 0);
  multi = $countdrivers(net5, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 2, 0);
  $display("");

  if (failed)
    $display("FAILED");
  else
    $display("PASSED");
end

endmodule
module test();


wire net1;
wire net2;
wire net3;
wire net4;
wire net5;

reg src1;
reg src2;
reg src3;

assign net1 = src1;
assign net2 = src2;
assign net3 = src3;

tran(net4, net1);
tran(net4, net2);
tran(net5, net3);
tran(net5, net4);

integer multi;
integer forced;
integer countD;
integer count0;
integer count1;
integer countX;

reg failed = 0;

task check_results;

input integer expected_multi;
input integer expected_forced;
input integer expected_countD;
input integer expected_count0;
input integer expected_count1;
input integer expected_countX;

begin
  $write("multi = %0d ", multi);
  if (multi !== expected_multi) failed = 1;
  if (expected_forced != -1) begin
    $write("forced = %0d ", forced);
    if (forced !== expected_forced) failed = 1;
  end
  if (expected_countD != -1) begin
    $write("countD = %0d ", countD);
    if (countD !== expected_countD) failed = 1;
  end
  if (expected_count0 != -1) begin
    $write("count0 = %0d ", count0);
    if (count0 !== expected_count0) failed = 1;
  end
  if (expected_count1 != -1) begin
    $write("count1 = %0d ", count1);
    if (count1 !== expected_count1) failed = 1;
  end
  if (expected_countX != -1) begin
    $write("countX = %0d ", countX);
    if (countX !== expected_countX) failed = 1;
  end
  $write("\n");
end

endtask

initial begin
  src1 = 1'b0; src2 = 1'b0; src3 = 1'b0;
  #1;
  multi = $countdrivers(net1, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 2, 0, 0);
  multi = $countdrivers(net2, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 2, 0, 0);
  multi = $countdrivers(net3, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 2, 0, 0);
  multi = $countdrivers(net4, forced, countD, count0, count1, countX);
  check_results(1, 0, 3, 3, 0, 0);
  multi = $countdrivers(net5, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 2, 0, 0);
  $display("");

  src1 = 1'b1; src2 = 1'b0; src3 = 1'b0;
  #1;
  multi = $countdrivers(net1, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 1, 1);
  multi = $countdrivers(net2, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 1, 0, 1);
  multi = $countdrivers(net3, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 1, 0, 1);
  multi = $countdrivers(net4, forced, countD, count0, count1, countX);
  check_results(1, 0, 3, 0, 0, 3);
  multi = $countdrivers(net5, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 0, 2);
  $display("");

  src1 = 1'b1; src2 = 1'b1; src3 = 1'b0;
  #1;
  multi = $countdrivers(net1, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 1, 1);
  multi = $countdrivers(net2, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 1, 1);
  multi = $countdrivers(net3, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 1, 0, 1);
  multi = $countdrivers(net4, forced, countD, count0, count1, countX);
  check_results(1, 0, 3, 0, 0, 3);
  multi = $countdrivers(net5, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 0, 2);
  $display("");

  src1 = 1'b1; src2 = 1'b1; src3 = 1'b1;
  #1;
  multi = $countdrivers(net1, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 2, 0);
  multi = $countdrivers(net2, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 2, 0);
  multi = $countdrivers(net3, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 2, 0);
  multi = $countdrivers(net4, forced, countD, count0, count1, countX);
  check_results(1, 0, 3, 0, 3, 0);
  multi = $countdrivers(net5, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 2, 0);
  $display("");

  src1 = 1'b1; src2 = 1'bz; src3 = 1'bz;
  #1;
  multi = $countdrivers(net1, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 2, 0);
  multi = $countdrivers(net2, forced, countD, count0, count1, countX);
  check_results(0, 0, 1, 0, 1, 0);
  multi = $countdrivers(net3, forced, countD, count0, count1, countX);
  check_results(0, 0, 1, 0, 1, 0);
  multi = $countdrivers(net4, forced, countD, count0, count1, countX);
  check_results(1, 0, 3, 0, 3, 0);
  multi = $countdrivers(net5, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 2, 0);
  $display("");

  src1 = 1'bz; src2 = 1'b0; src3 = 1'bz;
  #1;
  multi = $countdrivers(net1, forced, countD, count0, count1, countX);
  check_results(0, 0, 1, 1, 0, 0);
  multi = $countdrivers(net2, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 2, 0, 0);
  multi = $countdrivers(net3, forced, countD, count0, count1, countX);
  check_results(0, 0, 1, 1, 0, 0);
  multi = $countdrivers(net4, forced, countD, count0, count1, countX);
  check_results(1, 0, 3, 3, 0, 0);
  multi = $countdrivers(net5, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 2, 0, 0);
  $display("");

  src1 = 1'bz; src2 = 1'bz; src3 = 1'b1;
  #1;
  multi = $countdrivers(net1, forced, countD, count0, count1, countX);
  check_results(0, 0, 1, 0, 1, 0);
  multi = $countdrivers(net2, forced, countD, count0, count1, countX);
  check_results(0, 0, 1, 0, 1, 0);
  multi = $countdrivers(net3, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 2, 0);
  multi = $countdrivers(net4, forced, countD, count0, count1, countX);
  check_results(1, 0, 3, 0, 3, 0);
  multi = $countdrivers(net5, forced, countD, count0, count1, countX);
  check_results(1, 0, 2, 0, 2, 0);
  $display("");

  if (failed)
    $display("FAILED");
  else
    $display("PASSED");
end

endmodule