Testsuite: gov.nasa.jpf.util.LimitedInputStreamTest
Tests run: 20, Failures: 0, Errors: 0, Time elapsed: 0,52 sec

Testcase: close took 0,14 sec
Testcase: constructorNullArg took 0 sec
Testcase: setLimitNegArg took 0 sec
Testcase: readNullBuffer took 0 sec
Testcase: readNegOffset took 0 sec
Testcase: readNegLength took 0 sec
Testcase: readOffsetLengthTooLong took 0 sec
Testcase: setLimitZero took 0 sec
Testcase: setLimitMax took 0 sec
Testcase: readMaxLimit took 0 sec
Testcase: readExactLimit took 0 sec
Testcase: readShortLimit took 0 sec
Testcase: readZeroLimit took 0 sec
Testcase: readBufferZeroLength took 0 sec
Testcase: readBufferZeroLimit took 0,1 sec
Testcase: readBufferShortLimit took 0 sec
Testcase: readBufferEOF took 0 sec
Testcase: skipZeroLimit took 0 sec
Testcase: skipShortLimit took 0 sec
Testcase: skipEOF took 0,1 sec
