Testsuite: gov.nasa.jpf.test.java.lang.ClassLoaderTest
Tests run: 11, Failures: 0, Errors: 0, Time elapsed: 7,51 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassLoaderTest testGetResource
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.java.lang.ClassLoaderTest testGetResource 

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

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassLoaderTest testGetResources
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.java.lang.ClassLoaderTest testGetResources 

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

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassLoaderTest testGetResourceAsStream
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.java.lang.ClassLoaderTest testGetResourceAsStream 

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

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassLoaderTest testLoadClass
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.java.lang.ClassLoaderTest testLoadClass 

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

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassLoaderTest testLoadClass2
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.java.lang.ClassLoaderTest testLoadClass2 

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

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassLoaderTest testGetSystemResource
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.java.lang.ClassLoaderTest testGetSystemResource 

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

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassLoaderTest testGetSystemResources
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.java.lang.ClassLoaderTest testGetSystemResources 

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

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassLoaderTest testGetSystemResourceAsStream
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.java.lang.ClassLoaderTest testGetSystemResourceAsStream 

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

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassLoaderTest testGetSystemClassLoader
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.java.lang.ClassLoaderTest testGetSystemClassLoader 

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

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassLoaderTest testGetParent
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.java.lang.ClassLoaderTest testGetParent 

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

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

====================================================== search finished: 13.1.11 16:11
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.ClassLoaderTest testGetParent2
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.java.lang.ClassLoaderTest testGetParent2 

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

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

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

Testcase: testGetResource took 1,81 sec
Testcase: testGetResources took 0,8 sec
Testcase: testGetResourceAsStream took 1,03 sec
Testcase: testLoadClass took 0,3 sec
Testcase: testLoadClass2 took 0,48 sec
Testcase: testGetSystemResource took 0,51 sec
Testcase: testGetSystemResources took 0,68 sec
Testcase: testGetSystemResourceAsStream took 0,86 sec
Testcase: testGetSystemClassLoader took 0,27 sec
Testcase: testGetParent took 0,28 sec
Testcase: testGetParent2 took 0,44 sec
