Testsuite: gov.nasa.jpf.test.java.lang.StringTest
Tests run: 4, Failures: 0, Errors: 0, Time elapsed: 2,75 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.lang.StringTest testIntern
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.StringTest testIntern 

====================================================== 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.StringTest testToCharArray
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.StringTest testToCharArray 

====================================================== 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.StringTest testEquals
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.StringTest testEquals 

====================================================== 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.StringTest testIndexOf
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.StringTest testIndexOf 

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

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

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

Testcase: testIntern took 1,43 sec
Testcase: testToCharArray took 0,45 sec
Testcase: testEquals took 0,42 sec
Testcase: testIndexOf took 0,43 sec
