Testsuite: gov.nasa.jpf.test.mc.basic.PorSkipFinalsTest
Tests run: 8, Failures: 0, Errors: 0, Time elapsed: 4,47 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.PorSkipFinalsTest test_SkipFinals_SkipStaticFinals_SkipConstructedFinals
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.mc.basic.PorSkipFinalsTest test_SkipFinals_SkipStaticFinals_SkipConstructedFinals 

====================================================== 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.mc.basic.PorSkipFinalsTest test_SkipFinals_SkipStaticFinals_NoSkipConstructedFinals
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.mc.basic.PorSkipFinalsTest test_SkipFinals_SkipStaticFinals_NoSkipConstructedFinals 

====================================================== 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.mc.basic.PorSkipFinalsTest test_SkipFinals_NoSkipStaticFinals_SkipConstructedFinals
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.mc.basic.PorSkipFinalsTest test_SkipFinals_NoSkipStaticFinals_SkipConstructedFinals 

====================================================== 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.mc.basic.PorSkipFinalsTest test_SkipFinals_NoSkipStaticFinals_NoSkipConstructedFinals
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.mc.basic.PorSkipFinalsTest test_SkipFinals_NoSkipStaticFinals_NoSkipConstructedFinals 

====================================================== 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.mc.basic.PorSkipFinalsTest test_NoSkipFinals_SkipStaticFinals_SkipConstructedFinals
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.mc.basic.PorSkipFinalsTest test_NoSkipFinals_SkipStaticFinals_SkipConstructedFinals 

====================================================== 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.mc.basic.PorSkipFinalsTest test_NoSkipFinals_SkipStaticFinals_NoSkipConstructedFinals
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.mc.basic.PorSkipFinalsTest test_NoSkipFinals_SkipStaticFinals_NoSkipConstructedFinals 

====================================================== 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.mc.basic.PorSkipFinalsTest test_NoSkipFinals_NoSkipStaticFinals_SkipConstructedFinals
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.mc.basic.PorSkipFinalsTest test_NoSkipFinals_NoSkipStaticFinals_SkipConstructedFinals 

====================================================== 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.mc.basic.PorSkipFinalsTest test_NoSkipFinals_NoSkipStaticFinals_NoSkipConstructedFinals
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.mc.basic.PorSkipFinalsTest test_NoSkipFinals_NoSkipStaticFinals_NoSkipConstructedFinals 

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

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

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

Testcase: test_SkipFinals_SkipStaticFinals_SkipConstructedFinals took 1,41 sec
Testcase: test_SkipFinals_SkipStaticFinals_NoSkipConstructedFinals took 0,49 sec
Testcase: test_SkipFinals_NoSkipStaticFinals_SkipConstructedFinals took 0,48 sec
Testcase: test_SkipFinals_NoSkipStaticFinals_NoSkipConstructedFinals took 0,35 sec
Testcase: test_NoSkipFinals_SkipStaticFinals_SkipConstructedFinals took 0,5 sec
Testcase: test_NoSkipFinals_SkipStaticFinals_NoSkipConstructedFinals took 0,36 sec
Testcase: test_NoSkipFinals_NoSkipStaticFinals_SkipConstructedFinals took 0,46 sec
Testcase: test_NoSkipFinals_NoSkipStaticFinals_NoSkipConstructedFinals took 0,37 sec
