[tasks]
basic bmc
nofullskip prove
cover
noverific cover
basic cover : default

[options]
cover:
mode cover
--
prove:
mode prove
--
bmc:
mode bmc
--

[engines]
smtbmc boolector

[script]
nofullskip: read -define NO_FULL_SKIP=1
noverific: read -noverific
read -formal uart_rx.v
prep -top uart_rx

[files]
src/manta/uart_iface/uart_rx.v