Testsuite: gov.nasa.jpf.util.IntVectorTest
Tests run: 4, Failures: 0, Errors: 0, Time elapsed: 0,09 sec
------------- Standard Output ---------------
f0000000
80000001
80000000
80000000
40000000
f000f00
ff000000
ff000000
ff0000
ffff0000
ff0000
0
1
0
ffff0000
ffffffff
ffffffff
ffffffff
------------- ---------------- ---------------

Testcase: testPackedBoolean took 0,05 sec
Testcase: testPackedByte took 0 sec
Testcase: testPackedChar took 0 sec
Testcase: testLongBits took 0 sec
