data/full_repos/permissive/143278/blif/blif01b_tb.v
 line:13: before: "~&"
1: b'%Warning-STMTDLY: data/full_repos/permissive/143278/blif/blif01b_tb.v:12: 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/blif/blif01b_tb.v:7: Cannot find file containing module: \'test_logic\'\n   test_logic DUT(.A(X[0]), .B(X[1]), .q_nand(q_nand), .q_nor(q_nor),\n   ^~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/143278/blif,data/full_repos/permissive/143278/test_logic\n             data/full_repos/permissive/143278/blif,data/full_repos/permissive/143278/test_logic.v\n             data/full_repos/permissive/143278/blif,data/full_repos/permissive/143278/test_logic.sv\n             test_logic\n             test_logic.v\n             test_logic.sv\n             obj_dir/test_logic\n             obj_dir/test_logic.v\n             obj_dir/test_logic.sv\n%Error: Exiting due to 1 error(s), 1 warning(s)\n        ... See the manual and https://verilator.org for more assistance.\n'
module main;

   reg [2:0] X;
   wire      q_nand, q_nor, q_xnor, q_not;

   test_logic DUT(.A(X[0]), .B(X[1]), .q_nand(q_nand), .q_nor(q_nor),
		  .q_xnor(q_xnor), .q_not(q_not));

   initial begin
      for (X = 0 ; X < 4 ; X = X+1) begin
	 #1;
	 if (q_nand !== (X[0] ~& X[1])) begin
	    $display("FAILED -- q_nand=%b, X=%b", q_nand, X[1:0]);
	    $finish;
	 end
	 if (q_nor !== (X[0] ~| X[1])) begin
	    $display("FAILED -- q_nor=%b, X=%b", q_nor, X[1:0]);
	    $finish;
	 end
	 if (q_xnor !== (X[0] ~^ X[1])) begin
	    $display("FAILED -- q_xnor=%b, X=%b", q_xnor, X[1:0]);
	    $finish;
	 end
	 if (q_not !== (~X[0])) begin
	    $display("FAILED -- q_not=%b, X=%b", q_not, X[0]);
	    $finish;
	 end

      end
      $display("PASSED");
   end

endmodule
module main;


   reg [2:0] X;
   wire      q_nand, q_nor, q_xnor, q_not;

   test_logic DUT(.A(X[0]), .B(X[1]), .q_nand(q_nand), .q_nor(q_nor),
		  .q_xnor(q_xnor), .q_not(q_not));

   initial begin
      for (X = 0 ; X < 4 ; X = X+1) begin
	 #1;
	 if (q_nand !== (X[0] ~& X[1])) begin
	    $display("FAILED -- q_nand=%b, X=%b", q_nand, X[1:0]);
	    $finish;
	 end
	 if (q_nor !== (X[0] ~| X[1])) begin
	    $display("FAILED -- q_nor=%b, X=%b", q_nor, X[1:0]);
	    $finish;
	 end
	 if (q_xnor !== (X[0] ~^ X[1])) begin
	    $display("FAILED -- q_xnor=%b, X=%b", q_xnor, X[1:0]);
	    $finish;
	 end
	 if (q_not !== (~X[0])) begin
	    $display("FAILED -- q_not=%b, X=%b", q_not, X[0]);
	    $finish;
	 end

      end
      $display("PASSED");
   end

endmodule