[tasks]
bmc
cover
flatten

[options]
bmc: mode bmc
cover: mode cover
flatten: mode bmc

expect fail

[engines]
smtbmc boolector

[script]
read -sv test.sv
prep -top top
flatten: flatten

[file test.sv]
module test(input foo);
always @* assert(foo);
always @* assert(!foo);
always @* cover(foo);
always @* cover(!foo);
endmodule

module top();
test test_i (
.foo(1'b1)
);
endmodule