[options]
mode bmc
depth 1
expect error

[engines]
smtbmc

[setup]
enable *