Testsuite: gov.nasa.jpf.test.java.net.URLEncoderTest
Tests run: 2, Failures: 0, Errors: 0, Time elapsed: 2,32 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.java.net.URLEncoderTest testEncodeCycle
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.net.URLEncoderTest testEncodeCycle 

====================================================== search started: 13.1.11 16:12
original: < what a mess >
encoded:  %3C+what+a+mess+%3E
decoded:  < what a mess >

====================================================== 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.net.URLEncoderTest testEncodingException
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.net.URLEncoderTest testEncodingException 

====================================================== search started: 13.1.11 16:12
original: < what a mess >
rightfully throws java.io.UnsupportedEncodingException: wrgsGrff

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

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

Testcase: testEncodeCycle took 1,53 sec
Testcase: testEncodingException took 0,77 sec
