Testsuite: gov.nasa.jpf.util.SplitInputStreamTest
Tests run: 30, Failures: 0, Errors: 0, Time elapsed: 2,9 sec
------------- Standard Output ---------------
  running jpf with args: +listener+=,gov.nasa.jpf.listener.PreciseRaceDetector gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.util.SplitInputStreamTest concurrentAvailable
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.util.SplitInputStreamTest concurrentAvailable 

====================================================== search started: 13.1.11 16:16

====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:16
------------- ---------------- ---------------

Testcase: wrap took 0,15 sec
Testcase: skip took 0 sec
Testcase: readByte took 0 sec
Testcase: passNullPointerToConstructor took 0,01 sec
Testcase: passZeroStreamsToConstructor took 0 sec
Testcase: passZeroBufferSizeToConstructor took 0 sec
Testcase: readEveryByteValue took 0 sec
Testcase: readNullBuffer took 0 sec
Testcase: readIndexNegOne took 0 sec
Testcase: readLengthNegOne took 0 sec
Testcase: readBeyondEnd took 0 sec
Testcase: readLengthZero took 0 sec
Testcase: readArray took 0 sec
Testcase: readArrayEveryByteValue took 0 sec
Testcase: skipZero took 0 sec
Testcase: skipNegOne took 0,01 sec
Testcase: skipToEnd took 0 sec
Testcase: skipBeyondEnd took 0 sec
Testcase: readByteAfterClose took 0 sec
Testcase: readBufferAfterClose took 0 sec
Testcase: skipAfterClose took 0 sec
Testcase: availableAfterClose took 0,1 sec
Testcase: availableAtEnd took 0 sec
Testcase: availableNeverReads took 0 sec
Testcase: closeSource took 0 sec
Testcase: overflowAvailable took 0 sec
Testcase: expand took 0,1 sec
Testcase: ignoreClosedStream took 0,05 sec
Testcase: bufferSize1 took 0,01 sec
Testcase: concurrentAvailable took 2,13 sec
