[tasks]
prove
bmc
cover

[options]
bmc: mode bmc
cover: mode cover
prove: mode bmc
depth 50

[engines]
prove: smtbmc z3

[script]
ghdl --std=08 dut.vhdl tb_dut-0.vhdl -e tb_dut
prep -top tb_dut

[files]
dut.vhdl
tb_dut-0.vhdl