/Test/bitvectors/

• ../
• Answer
• Output
• arrays.bpl
• bv0.bpl
• bv1.bpl
• bv2.bpl
• bv3.bpl
• bv4.bpl
• bv5.bpl
• bv6.bpl
• bv7.bpl
• runtest.bat
• vcc0.bpl