bv3.bpl « bitvectors « Test - debian-boogie - Debian packaging for Boogie

summary refs log tree commit diff

path: root/Test/bitvectors/bv3.bpl

blob: 5b21ca594565b097dc5375f57b28c41a8f7b25a1 (plain)

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