summaryrefslogtreecommitdiff
path: root/Test/bitvectors
ModeNameSize
-rw-r--r--Answer2721logplain
-rw-r--r--arrays.bpl614logplain
-rw-r--r--bv0.bpl283logplain
-rw-r--r--bv1.bpl349logplain
-rw-r--r--bv2.bpl195logplain
-rw-r--r--bv3.bpl24logplain
-rw-r--r--bv4.bpl326logplain
-rw-r--r--bv5.bpl193logplain
-rw-r--r--bv6.bpl185logplain
-rw-r--r--bv7.bpl137logplain
-rw-r--r--bv8.bpl368logplain
-rw-r--r--runtest.bat479logplain