data/full_repos/permissive/143278/ivltests/br931.v
[Errno 2] No such file or directory: 'preprocess.output'
1: b'%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/br931.v:9: Unsupported: Ignoring delay on this delayed statement.\n  #4 flag = 1;\n  ^\n                  ... Use "/* verilator lint_off STMTDLY */" and lint_on around source to disable this message.\n%Warning-STMTDLY: data/full_repos/permissive/143278/ivltests/br931.v:17: Unsupported: Ignoring delay on this delayed statement.\n  #5 flag = 1;\n  ^\n%Error: data/full_repos/permissive/143278/ivltests/br931.v:24: Unsupported: fork statements\nfork\n^~~~\n%Error: Exiting due to 1 error(s), 2 warning(s)\n        ... See the manual and https://verilator.org for more assistance.\n'
module bug();

reg flag1;
reg flag2;

task task1(inout integer flag);

begin
  #4 flag = 1;
end

endtask

task task2(inout integer flag);

begin
  #5 flag = 1;
end

endtask

task task3(inout flag1, inout flag2);

fork
  task1(flag1);
  task2(flag2);
join

endtask

initial begin
  flag1 = 0;
  flag2 = 0;
  task3(flag1, flag2);
  $display("flag1 = %d", flag1);
  $display("flag2 = %d", flag2);
  if ((flag1 === 1) && (flag2 === 1))
    $display("PASSED");
  else
    $display("FAILED");
end

endmodule
module bug();


reg flag1;
reg flag2;

task task1(inout integer flag);

begin
  #4 flag = 1;
end

endtask

task task2(inout integer flag);

begin
  #5 flag = 1;
end

endtask

task task3(inout flag1, inout flag2);

fork
  task1(flag1);
  task2(flag2);
join

endtask

initial begin
  flag1 = 0;
  flag2 = 0;
  task3(flag1, flag2);
  $display("flag1 = %d", flag1);
  $display("flag2 = %d", flag2);
  if ((flag1 === 1) && (flag2 === 1))
    $display("PASSED");
  else
    $display("FAILED");
end

endmodule