[options]
mode prove

[engines]
smtbmc z3

[script]
ghdl --std=08 test_minmax.vhd -e ent
prep -top ent

[files]
test_minmax.vhd