Testsuite: gov.nasa.jpf.test.java.text.DecimalFormatTest
Tests run: 7, Failures: 0, Errors: 0, Time elapsed: 4,28 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.text.DecimalFormatTest testDoubleConversion
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.text.DecimalFormatTest testDoubleConversion 

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

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.text.DecimalFormatTest testIsParseIntegerOnly
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.text.DecimalFormatTest testIsParseIntegerOnly 

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

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.text.DecimalFormatTest testIsGroupingUsed
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.text.DecimalFormatTest testIsGroupingUsed 

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

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.text.DecimalFormatTest testSetGroupingUsed
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.text.DecimalFormatTest testSetGroupingUsed 

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

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.text.DecimalFormatTest testParseDouble
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.text.DecimalFormatTest testParseDouble 

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

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.text.DecimalFormatTest testParseInt
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.text.DecimalFormatTest testParseInt 

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

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.text.DecimalFormatTest testParseError
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.text.DecimalFormatTest testParseError 

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

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

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

Testcase: testDoubleConversion took 1,53 sec
Testcase: testIsParseIntegerOnly took 0,45 sec
Testcase: testIsGroupingUsed took 0,42 sec
Testcase: testSetGroupingUsed took 0,44 sec
Testcase: testParseDouble took 0,64 sec
Testcase: testParseInt took 0,46 sec
Testcase: testParseError took 0,3 sec
