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

Testcase: passNullPointerToConstructor took 0,08 sec
Testcase: availableStuck took 0 sec
Testcase: unreadExtra took 0 sec
Testcase: unreadMinus1 took 0,03 sec
Testcase: readBufferSplit took 0 sec
Testcase: readBufferPartialNoBlock took 0 sec
Testcase: readBufferLeftOver took 0,03 sec
Testcase: unreadOverflow took 0,01 sec
Testcase: fillWithNoMoreData took 0 sec
Testcase: fillWithTooMuchData took 0,05 sec
Testcase: readAfterClose took 0 sec
Testcase: readBufferAfterClose took 0 sec
Testcase: testToString took 0,04 sec
Testcase: readBufferEmptyBuffer took 0 sec
