Testsuite: gov.nasa.jpf.test.mc.data.DataChoiceTest
Tests run: 5, Failures: 0, Errors: 0, Time elapsed: 3,2 sec
------------- Standard Output ---------------
  running jpf with args: +my_int_from_set.class=gov.nasa.jpf.jvm.choice.IntChoiceFromSet +my_int_from_set.values=1,2,3,intField,localVar gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.data.DataChoiceTest testIntFromSet
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.data.DataChoiceTest testIntFromSet 

====================================================== search started: 13.1.11 16:13
1
2
3
42
43

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

====================================================== search finished: 13.1.11 16:13
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.data.DataChoiceTest testIntFromArray
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.data.DataChoiceTest testIntFromArray 

====================================================== search started: 13.1.11 16:13
1
2
3
4
5

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

====================================================== search finished: 13.1.11 16:13
  running jpf with args: +my_double_from_set.class=gov.nasa.jpf.jvm.choice.DoubleChoiceFromSet +my_double_from_set.values=42.0,43.5,doubleField,localVar gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.data.DataChoiceTest testDoubleFromSet
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.data.DataChoiceTest testDoubleFromSet 

====================================================== search started: 13.1.11 16:13
42.0
43.5
-42.2
5.36210821E-315

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

====================================================== search finished: 13.1.11 16:13
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.data.DataChoiceTest testDoubleFromArray
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.data.DataChoiceTest testDoubleFromArray 

====================================================== search started: 13.1.11 16:13
-42.0
0.0
42.0

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

====================================================== search finished: 13.1.11 16:13
  running jpf with args: +my_typed_object.class=gov.nasa.jpf.jvm.choice.TypedObjectChoice +my_typed_object.type=gov.nasa.jpf.test.mc.data.DataChoiceTest$MyType gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.data.DataChoiceTest testTypedObjectChoice
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.data.DataChoiceTest testTypedObjectChoice 

====================================================== search started: 13.1.11 16:13
MyType one
MyType two

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

====================================================== search finished: 13.1.11 16:13
------------- ---------------- ---------------

Testcase: testIntFromSet took 1,37 sec
Testcase: testIntFromArray took 0,47 sec
Testcase: testDoubleFromSet took 0,44 sec
Testcase: testDoubleFromArray took 0,32 sec
Testcase: testTypedObjectChoice took 0,55 sec
