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

summary refs log tree commit diff

path: root/Test/bitvectors/bv3.bpl

blob: 5a2ce47f81938032831ead4423fcfc18b78dda14 (plain)

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