Testsuite: gov.nasa.jpf.util.SplitOutputStreamTest
Tests run: 11, Failures: 0, Errors: 0, Time elapsed: 0,24 sec

Testcase: writeByte took 0,05 sec
Testcase: passNullPointerToConstructor took 0 sec
Testcase: passNoArgsToConstructor took 0 sec
Testcase: passNullArgsToConstructor took 0 sec
Testcase: modifyAfterConstructor took 0 sec
Testcase: writeNullBuffer took 0 sec
Testcase: writeIndexNegOne took 0 sec
Testcase: writeLengthNegOne took 0 sec
Testcase: writeBeyondEnd took 0,1 sec
Testcase: writeLengthZero took 0 sec
Testcase: writeArray took 0 sec
