Testsuite: gov.nasa.jpf.util.BitSet64Test
Tests run: 3, Failures: 0, Errors: 0, Time elapsed: 0,09 sec
------------- Standard Output ---------------
java.lang.IndexOutOfBoundsException: BitSet64 index out of range: 64
java.lang.IndexOutOfBoundsException: BitSet64 index out of range: 256
java.lang.IndexOutOfBoundsException: BitSet64 index out of range: -1
------------- ---------------- ---------------

Testcase: testBasic took 0,05 sec
Testcase: testOutOfBounds took 0 sec
Testcase: testEnumeration took 0 sec
