data/full_repos/permissive/441359809/src/yosys/examples/smtbmc/demo9.v
1: b'%Error: data/full_repos/permissive/441359809/src/yosys/examples/smtbmc/demo9.v:2: Unsupported or unknown PLI call: $anyconst\n (* maximize *) wire[7:0] h = $anyconst;\n                              ^~~~~~~~~\n%Error: data/full_repos/permissive/441359809/src/yosys/examples/smtbmc/demo9.v:3: Unsupported or unknown PLI call: $allconst\n wire [7:0] i = $allconst;\n                ^~~~~~~~~\n%Error: Exiting due to 2 error(s)\n        ... See the manual and https://verilator.org for more assistance.\n'
module demo9;
	(* maximize *) wire[7:0] h = $anyconst;
	wire [7:0] i = $allconst;

	wire [7:0] t0 = ((i << 8'b00000010) + 8'b00000011);
	wire trigger = (t0 > h)	&& (h < 8'b00000100);

	always @* begin
		assume(trigger == 1'b1);
		cover(1);
	end
endmodule
module demo9;

	(* maximize *) wire[7:0] h = $anyconst;
	wire [7:0] i = $allconst;

	wire [7:0] t0 = ((i << 8'b00000010) + 8'b00000011);
	wire trigger = (t0 > h)	&& (h < 8'b00000100);

	always @* begin
		assume(trigger == 1'b1);
		cover(1);
	end
endmodule