data/full_repos/permissive/489432025/testbench.v
1: b'%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:11: Unsupported: Ignoring delay on this delayed statement.\n  #1 clk = 0;\n  ^\n                  ... Use "/* verilator lint_off STMTDLY */" and lint_on around source to disable this message.\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:12: Unsupported: Ignoring delay on this delayed statement.\n  #1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:16: Unsupported: Ignoring delay on this delayed statement.\n  #1; rst = 0;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:17: Unsupported: Ignoring delay on this delayed statement.\n  #1; rst = 1;\n  ^\n%Error: data/full_repos/permissive/489432025/testbench.v:18: Unsupported or unknown PLI call: $monitor\n  $monitor("At %0t: clk = %b, flick = %b, led = %b", $time, clk, flick, led);\n  ^~~~~~~~\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:21: Unsupported: Ignoring delay on this delayed statement.\n  #1; flick = 1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:22: Unsupported: Ignoring delay on this delayed statement.\n  #1; flick = 0;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:23: Unsupported: Ignoring delay on this delayed statement.\n  #120;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:26: Unsupported: Ignoring delay on this delayed statement.\n  #1; flick = 0;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:27: Unsupported: Ignoring delay on this delayed statement.\n  #34; flick = 1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:28: Unsupported: Ignoring delay on this delayed statement.\n  #1; flick = 0;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:29: Unsupported: Ignoring delay on this delayed statement.\n  #120;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:32: Unsupported: Ignoring delay on this delayed statement.\n  #1; flick = 0;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:33: Unsupported: Ignoring delay on this delayed statement.\n  #44; flick = 1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:34: Unsupported: Ignoring delay on this delayed statement.\n  #1; flick = 0;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:35: Unsupported: Ignoring delay on this delayed statement.\n  #120;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:38: Unsupported: Ignoring delay on this delayed statement.\n  #1; flick = 0;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:39: Unsupported: Ignoring delay on this delayed statement.\n  #58; flick = 1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:40: Unsupported: Ignoring delay on this delayed statement.\n  #1; flick = 0;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:41: Unsupported: Ignoring delay on this delayed statement.\n  #70;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:44: Unsupported: Ignoring delay on this delayed statement.\n  #1; flick = 0;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:45: Unsupported: Ignoring delay on this delayed statement.\n  #68; flick = 1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:46: Unsupported: Ignoring delay on this delayed statement.\n  #1; flick = 0;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:47: Unsupported: Ignoring delay on this delayed statement.\n  #70;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:50: Unsupported: Ignoring delay on this delayed statement.\n  #1; flick = 0;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:51: Unsupported: Ignoring delay on this delayed statement.\n  #46; flick = 1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:52: Unsupported: Ignoring delay on this delayed statement.\n  #1; flick = 0;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:53: Unsupported: Ignoring delay on this delayed statement.\n  #80;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:56: Unsupported: Ignoring delay on this delayed statement.\n  #1; flick = 0;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:57: Unsupported: Ignoring delay on this delayed statement.\n  #44; flick = 1;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:58: Unsupported: Ignoring delay on this delayed statement.\n  #1; flick = 0;\n  ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:59: Unsupported: Ignoring delay on this delayed statement.\n    #10; rst = 0;\n    ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:60: Unsupported: Ignoring delay on this delayed statement.\n    #1; rst = 1;\n    ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:61: Unsupported: Ignoring delay on this delayed statement.\n    #1; flick = 1;\n    ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:62: Unsupported: Ignoring delay on this delayed statement.\n    #1; flick = 0;\n    ^\n%Warning-STMTDLY: data/full_repos/permissive/489432025/testbench.v:63: Unsupported: Ignoring delay on this delayed statement.\n  #120;\n  ^\n%Error: data/full_repos/permissive/489432025/testbench.v:69: Unsupported or unknown PLI call: $recordfile\n    $recordfile ("waves");\n    ^~~~~~~~~~~\n%Error: data/full_repos/permissive/489432025/testbench.v:70: Unsupported or unknown PLI call: $recordvars\n    $recordvars ("depth=0", testbench);\n    ^~~~~~~~~~~\n%Error: Exiting due to 3 error(s), 35 warning(s)\n        ... See the manual and https://verilator.org for more assistance.\n'
module testbench();
	reg flick, clk, rst;
	wire [15:0] led;
	
	bound_flasher uut(flick, clk, rst, led);
	
	always begin
		clk = 1;
		#1 clk = 0;
		#1;
	end
	
	initial begin
		#1; rst = 0;
		#1; rst = 1;
		$monitor("At %0t: clk = %b, flick = %b, led = %b", $time, clk, flick, led);
   
		$display("Testcase: normal_flow");
		#1; flick = 1;
		#1; flick = 0;
		#120;
		$display("Testcase: flick_kickback_led5_state3");
		flick = 1;
		#1; flick = 0;
		#34; flick = 1;
		#1; flick = 0;
		#120;
		$display("Testcase: flick_kickback_led10_state3");
		flick = 1;
		#1; flick = 0;
		#44; flick = 1;
		#1; flick = 0;
		#120;
		$display("Testcase: flick_kickback_led5_state5");
		flick = 1;
		#1; flick = 0;
		#58; flick = 1;
		#1; flick = 0;
		#70;
		$display("Testcase: flick_kickback_led10_state5");
		flick = 1;
		#1; flick = 0;
		#68; flick = 1;
		#1; flick = 0;
		#70;
		$display("Testcase: flick_led10_off (an example among many testcases for flicking at non kickback points");
		flick = 1;
		#1; flick = 0;
		#46; flick = 1;
		#1; flick = 0;
		#80;
		$display("Testcase: reset_check");
		flick = 1;
		#1; flick = 0;
		#44; flick = 1;
		#1; flick = 0;
    #10; rst = 0;
    #1; rst = 1;
    #1; flick = 1;
    #1; flick = 0;
		#120;
   
		$finish;
	end

	initial begin
  		$recordfile ("waves");
  		$recordvars ("depth=0", testbench);
	end

endmodule
module testbench();

	reg flick, clk, rst;
	wire [15:0] led;
	
	bound_flasher uut(flick, clk, rst, led);
	
	always begin
		clk = 1;
		#1 clk = 0;
		#1;
	end
	
	initial begin
		#1; rst = 0;
		#1; rst = 1;
		$monitor("At %0t: clk = %b, flick = %b, led = %b", $time, clk, flick, led);
   
		$display("Testcase: normal_flow");
		#1; flick = 1;
		#1; flick = 0;
		#120;
		$display("Testcase: flick_kickback_led5_state3");
		flick = 1;
		#1; flick = 0;
		#34; flick = 1;
		#1; flick = 0;
		#120;
		$display("Testcase: flick_kickback_led10_state3");
		flick = 1;
		#1; flick = 0;
		#44; flick = 1;
		#1; flick = 0;
		#120;
		$display("Testcase: flick_kickback_led5_state5");
		flick = 1;
		#1; flick = 0;
		#58; flick = 1;
		#1; flick = 0;
		#70;
		$display("Testcase: flick_kickback_led10_state5");
		flick = 1;
		#1; flick = 0;
		#68; flick = 1;
		#1; flick = 0;
		#70;
		$display("Testcase: flick_led10_off (an example among many testcases for flicking at non kickback points");
		flick = 1;
		#1; flick = 0;
		#46; flick = 1;
		#1; flick = 0;
		#80;
		$display("Testcase: reset_check");
		flick = 1;
		#1; flick = 0;
		#44; flick = 1;
		#1; flick = 0;
    #10; rst = 0;
    #1; rst = 1;
    #1; flick = 1;
    #1; flick = 0;
		#120;
   
		$finish;
	end

	initial begin
  		$recordfile ("waves");
  		$recordvars ("depth=0", testbench);
	end

endmodule