path: root/Test/bitvectors/bv3.bpl

// RUN: %boogie -proverWarnings:1 %s > %t
// RUN: %diff %s.expect %t
type bv;
type bv16;