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

	always @* begin
		if (1 < factor && factor < prime)
			assume((prime % factor) != 0);
		assume(prime > 1);
	end
endmodule
module demo8;

	wire [7:0] prime = $anyconst;
	wire [3:0] factor = $allconst;

	always @* begin
		if (1 < factor && factor < prime)
			assume((prime % factor) != 0);
		assume(prime > 1);
	end
endmodule