Testsuite: gov.nasa.jpf.test.vm.basic.AnnotationTest
Tests run: 7, Failures: 0, Errors: 0, Time elapsed: 3,84 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.basic.AnnotationTest testStringValueOk
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.vm.basic.AnnotationTest testStringValueOk 

====================================================== search started: 13.1.11 16:14

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

====================================================== search finished: 13.1.11 16:14
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.basic.AnnotationTest testStringArrayValueOk
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.vm.basic.AnnotationTest testStringArrayValueOk 

====================================================== search started: 13.1.11 16:14

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

====================================================== search finished: 13.1.11 16:14
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.basic.AnnotationTest testLongValueOk
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.vm.basic.AnnotationTest testLongValueOk 

====================================================== search started: 13.1.11 16:14

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

====================================================== search finished: 13.1.11 16:14
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.basic.AnnotationTest testNamedParamsOk
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.vm.basic.AnnotationTest testNamedParamsOk 

====================================================== search started: 13.1.11 16:14
@gov.nasa.jpf.test.vm.basic.AnnotationTest$A4(a=one,b=42.0)

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

====================================================== search finished: 13.1.11 16:14
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.basic.AnnotationTest testPartialDefaultParamsOk
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.vm.basic.AnnotationTest testPartialDefaultParamsOk 

====================================================== search started: 13.1.11 16:14
@gov.nasa.jpf.test.vm.basic.AnnotationTest$A5(a=whatever,b=foo)

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

====================================================== search finished: 13.1.11 16:14
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.basic.AnnotationTest testSingleDefaultParamOk
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.vm.basic.AnnotationTest testSingleDefaultParamOk 

====================================================== search started: 13.1.11 16:14
@gov.nasa.jpf.test.vm.basic.AnnotationTest$A6(value=whatever)

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

====================================================== search finished: 13.1.11 16:14
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.basic.AnnotationTest loadedClass
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.vm.basic.AnnotationTest loadedClass 

====================================================== search started: 13.1.11 16:14

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

====================================================== search finished: 13.1.11 16:14
------------- ---------------- ---------------

Testcase: testStringValueOk took 1,32 sec
Testcase: testStringArrayValueOk took 0,47 sec
Testcase: testLongValueOk took 0,43 sec
Testcase: testNamedParamsOk took 0,43 sec
Testcase: testPartialDefaultParamsOk took 0,41 sec
Testcase: testSingleDefaultParamOk took 0,41 sec
Testcase: loadedClass took 0,33 sec
