Testsuite: gov.nasa.jpf.test.mc.data.PerturbatorTest
Tests run: 3, Failures: 0, Errors: 0, Time elapsed: 2,38 sec
------------- Standard Output ---------------
  running jpf with args: +listener=.listener.Perturbator +perturb.fields=data +perturb.data.class=.perturb.IntOverUnder +perturb.data.field=gov.nasa.jpf.test.mc.data.PerturbatorTest.data +perturb.data.delta=1 gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.data.PerturbatorTest testIntFieldPerturbation
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.PerturbatorTest testIntFieldPerturbation 

====================================================== search started: 13.1.11 16:13
instance field perturbation test
d = 43
d = 42
d = 41

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

====================================================== search finished: 13.1.11 16:13
  running jpf with args: +listener=.listener.Perturbator +perturb.fields=data +perturb.data.class=.perturb.IntOverUnder +perturb.data.field=gov.nasa.jpf.test.mc.data.PerturbatorTest.data +perturb.data.location=PerturbatorTest.java:83 +perturb.data.delta=1 gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.data.PerturbatorTest testFieldPerturbationLocation
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.PerturbatorTest testFieldPerturbationLocation 

====================================================== search started: 13.1.11 16:13
instance field location perturbation test
x = 42
d = 43
d = 42
d = 41

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

====================================================== search finished: 13.1.11 16:13
  running jpf with args: +listener=.listener.Perturbator +perturb.returns=foo,bar +perturb.foo.class=.perturb.IntOverUnder +perturb.foo.method=gov.nasa.jpf.test.mc.data.PerturbatorTest.foo(int) +perturb.foo.location=PerturbatorTest.java:129 +perturb.foo.delta=1 +perturb.bar.class=.perturb.IntOverUnder +perturb.bar.method=gov.nasa.jpf.test.mc.data.PerturbatorTest.bar(int) +perturb.bar.delta=5 gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.data.PerturbatorTest testIntReturnPerturbation
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.PerturbatorTest testIntReturnPerturbation 

====================================================== search started: 13.1.11 16:13
int return perturbation test
foo() = -1
foo() = 43
foo() = 42
foo() = 41
bar() = 44
bar() = 39
bar() = 34

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

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

Testcase: testIntFieldPerturbation took 1,42 sec
Testcase: testFieldPerturbationLocation took 0,47 sec
Testcase: testIntReturnPerturbation took 0,46 sec
