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

====================================================== search started: 13.1.11 16:12
current date is: Thu Jan 13 16:12:09 CET 2011
formatted date is: tvrtek, 13. leden 2011 16:12:09 CET
re-parsed date is: Thu Jan 13 16:12:09 CET 2011

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

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

Testcase: testConversionCycle took 2,26 sec
