Testsuite: gov.nasa.jpf.util.CommitOutputStreamTest
Tests run: 13, Failures: 0, Errors: 0, Time elapsed: 0,35 sec

Testcase: close took 0,05 sec
Testcase: flush took 0 sec
Testcase: constructorNullArg took 0 sec
Testcase: rollback took 0 sec
Testcase: expand took 0,01 sec
Testcase: writeNullBuffer took 0 sec
Testcase: writeIndexNegOne took 0 sec
Testcase: writeLengthNegOne took 0 sec
Testcase: writeBeyondEnd took 0 sec
Testcase: writeLengthZero took 0,1 sec
Testcase: writeArray took 0,08 sec
Testcase: expandDouble took 0,01 sec
Testcase: expandTriple took 0,01 sec
