Dear Sir,
I'm using OpenJDK 1.6.0_20 on Ubuntu 10.04.1 LTS. The error of running
bin/test .test.java.lang.BoxObjectCacheTest is
------------------------------------
at gov.nasa.jpf.tool.RunTest.main(RunTest.java:79)
......................................... test method failed with: JPF
internal exception executing: gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest
testIntCache :gov.nasa.jpf.JPFNativePeerException: exception in native
method java.lang.Integer$IntegerCache.<clinit>
......................................... testIntCache: Failed
------------------------------------
The full output is as below:
bin/test .test.java.lang.BoxObjectCacheTest
......................................... testing testIntCache()
running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest testIntCache
^[[DJavaPathfinder v6.0 (rev ${version}) - (C) RIACS/NASA Ames
Research Center
====================================================== system under
test
application: gov/nasa/jpf/util/test/TestJPFHelper.java
arguments: gov.nasa.jpf.test.java.lang.BoxObjectCacheTest
testIntCache
====================================================== search started:
2/9/12 9:35 AM
---------------------- JPF error stack trace ---------------------
gov.nasa.jpf.JPFNativePeerException: exception in native method
java.lang.Integer$IntegerCache.<clinit>
at
gov.nasa.jpf.jvm.NativeMethodInfo.executeNative(NativeMethodInfo.java:
199)
at gov.nasa.jpf.jvm.bytecode.EXECUTENATIVE.execute(EXECUTENATIVE.java:
72)
at gov.nasa.jpf.jvm.ThreadInfo.executeInstruction(ThreadInfo.java:
2223)
at gov.nasa.jpf.jvm.ThreadInfo.executeTransition(ThreadInfo.java:
2175)
at
gov.nasa.jpf.jvm.SystemState.executeNextTransition(SystemState.java:
712)
at gov.nasa.jpf.jvm.JVM.forward(JVM.java:1774)
at gov.nasa.jpf.search.Search.forward(Search.java:533)
at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:78)
at gov.nasa.jpf.JPF.run(JPF.java:618)
at gov.nasa.jpf.util.test.TestJPF.runJPF(TestJPF.java:655)
at gov.nasa.jpf.util.test.TestJPF.createAndRunJPF(TestJPF.java:601)
at gov.nasa.jpf.util.test.TestJPF.noPropertyViolation(TestJPF.java:
706)
at
gov.nasa.jpf.util.test.TestJPF.verifyNoPropertyViolation(TestJPF.java:
736)
at
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest.testIntCache(BoxObjectCacheTest.java:
32)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at java.lang.reflect.Method.invoke(Method.java:616)
at gov.nasa.jpf.util.test.TestJPF.runTests(TestJPF.java:496)
at
gov.nasa.jpf.util.test.TestJPFHelper.runWithoutMain(TestJPFHelper.java:
61)
at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:43)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at java.lang.reflect.Method.invoke(Method.java:616)
at gov.nasa.jpf.tool.Run.call(Run.java:76)
at gov.nasa.jpf.tool.RunTest.main(RunTest.java:79)
Caused by: java.lang.NullPointerException
at gov.nasa.jpf.jvm.ElementInfo.setIntField(ElementInfo.java:941)
at gov.nasa.jpf.jvm.ElementInfo.setIntField(ElementInfo.java:848)
at gov.nasa.jpf.jvm.JPF_java_lang_Integer$IntegerCache.
$clinit(JPF_java_lang_Integer$IntegerCache.java:59)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at java.lang.reflect.Method.invoke(Method.java:616)
at
gov.nasa.jpf.jvm.NativeMethodInfo.executeNative(NativeMethodInfo.java:
148)
... 26 more
java.lang.AssertionError: JPF internal exception executing:
gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest
testIntCache :gov.nasa.jpf.JPFNativePeerException: exception in native
method java.lang.Integer$IntegerCache.<clinit>
at gov.nasa.jpf.util.test.TestJPF.fail(TestJPF.java:155)
at gov.nasa.jpf.util.test.TestJPF.fail(TestJPF.java:147)
at gov.nasa.jpf.util.test.TestJPF.noPropertyViolation(TestJPF.java:
710)
at
gov.nasa.jpf.util.test.TestJPF.verifyNoPropertyViolation(TestJPF.java:
736)
at
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest.testIntCache(BoxObjectCacheTest.java:
32)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at java.lang.reflect.Method.invoke(Method.java:616)
at gov.nasa.jpf.util.test.TestJPF.runTests(TestJPF.java:496)
at
gov.nasa.jpf.util.test.TestJPFHelper.runWithoutMain(TestJPFHelper.java:
61)
at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:43)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at
sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:
57)
at
sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:
43)
at java.lang.reflect.Method.invoke(Method.java:616)
at gov.nasa.jpf.tool.Run.call(Run.java:76)
at gov.nasa.jpf.tool.RunTest.main(RunTest.java:79)
......................................... test method failed with: JPF
internal exception executing: gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest
testIntCache :gov.nasa.jpf.JPFNativePeerException: exception in native
method java.lang.Integer$IntegerCache.<clinit>
......................................... testIntCache: Failed
......................................... testing testCharacterCache()
running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest testCharacterCache
JavaPathfinder v6.0 (rev ${version}) - (C) RIACS/NASA Ames Research
Center
====================================================== system under
test
application: gov/nasa/jpf/util/test/TestJPFHelper.java
arguments: gov.nasa.jpf.test.java.lang.BoxObjectCacheTest
testCharacterCache
====================================================== search started:
2/9/12 9:35 AM
====================================================== results
no errors detected
====================================================== search
finished: 2/9/12 9:35 AM
......................................... testCharacterCache: Ok
......................................... testing testByteCache()
running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest testByteCache
JavaPathfinder v6.0 (rev ${version}) - (C) RIACS/NASA Ames Research
Center
====================================================== system under
test
application: gov/nasa/jpf/util/test/TestJPFHelper.java
arguments: gov.nasa.jpf.test.java.lang.BoxObjectCacheTest
testByteCache
====================================================== search started:
2/9/12 9:35 AM
====================================================== results
no errors detected
====================================================== search
finished: 2/9/12 9:35 AM
......................................... testByteCache: Ok
......................................... execution of testsuite:
gov.nasa.jpf.test.java.lang.BoxObjectCacheTest FAILED
.... [1] testIntCache: Failed
.... [2] testCharacterCache: Ok
.... [3] testByteCache: Ok
......................................... tests: 3, failures: 1,
errors: 0