summaryrefslogtreecommitdiff
path: root/Test/bitvectors/bv7.bpl.expect
blob: 223c162a42d27e33a4ee956636fc8d4f91c5868d (plain)
1
2
3
bv7.bpl(6,14): error: arguments of extract need to be integer literals
bv7.bpl(7,15): error: parentheses around bitvector bounds are not allowed
2 parse errors detected in bv7.bpl