[options]
depth 20
mode prove

[engines]
smtbmc z3

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

[files]
test_lsr.vhd