gov.nasa.jpf.JPFNativePeerException: exception in native method java.util.concurrent.atomic.AtomicLong.getAndAdd

Google Groups | Alexander Pelepeychenko | 9 months ago
  1. 0

    Caused by: gov.nasa.jpf.JPFException: not a int field: value

    Google Groups | 9 months ago | Alexander Pelepeychenko
    gov.nasa.jpf.JPFNativePeerException: exception in native method java.util.concurrent.atomic.AtomicLong.getAndAdd
  2. 0

    jpf-symbc installation

    Google Groups | 6 years ago | Alex O.
    gov.nasa.jpf.JPFException: not a int field: m
  3. 0

    Problem with reflection/annotations

    Google Groups | 3 years ago | Cyrille Artho
    gov.nasa.jpf.JPFException: not an int field: value
  4. Speed up your debug routine!

    Automated exception search integrated into your IDE

  5. 0

    [JPF] Help about example listener

    Google Groups | 6 years ago | Pham Quang Thap
    gov.nasa.jpf.JPFException: not an int[]
  6. 0

    Initializing - Java Programming Help - KnowCoding.com

    knowcoding.com | 1 year ago
    gov.nasa.jpf.JPFException: no main() method in Test

    Not finding the right solution?
    Take a tour to get the most out of Samebug.

    Tired of useless tips?

    Automated exception search integrated into your IDE

    Root Cause Analysis

    1. gov.nasa.jpf.JPFException

      not a int field: value

      at gov.nasa.jpf.vm.ElementInfo.getIntField()
    2. gov.nasa.jpf
      JPF_java_util_concurrent_atomic_AtomicLong.getAndAdd__J__J
      1. gov.nasa.jpf.vm.ElementInfo.getIntField(ElementInfo.java:1130)
      2. gov.nasa.jpf.vm.ElementInfo.getIntField(ElementInfo.java:1004)
      3. gov.nasa.jpf.vm.MJIEnv.getIntField(MJIEnv.java:459)
      4. gov.nasa.jpf.vm.JPF_java_util_concurrent_atomic_AtomicLong.getAndAdd__J__J(JPF_java_util_concurrent_atomic_AtomicLong.java:61)
      4 frames
    3. Java RT
      Method.invoke
      1. sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
      2. sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
      3. sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
      4. java.lang.reflect.Method.invoke(Method.java:498)
      4 frames
    4. gov.nasa.jpf
      JPF.main
      1. gov.nasa.jpf.vm.NativeMethodInfo.executeNative(NativeMethodInfo.java:125)
      2. gov.nasa.jpf.jvm.bytecode.EXECUTENATIVE.execute(EXECUTENATIVE.java:73)
      3. gov.nasa.jpf.vm.ThreadInfo.executeInstruction(ThreadInfo.java:1908)
      4. gov.nasa.jpf.vm.ThreadInfo.executeTransition(ThreadInfo.java:1859)
      5. gov.nasa.jpf.vm.SystemState.executeNextTransition(SystemState.java:765)
      6. gov.nasa.jpf.vm.VM.forward(VM.java:1722)
      7. gov.nasa.jpf.search.Search.forward(Search.java:579)
      8. gov.nasa.jpf.search.DFSearch.search(DFSearch.java:79)
      9. gov.nasa.jpf.JPF.run(JPF.java:613)
      10. gov.nasa.jpf.JPF.start(JPF.java:189)
      11. gov.nasa.jpf.JPF.main(JPF.java:156)
      11 frames
    5. Java RT
      Method.invoke
      1. sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
      2. sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
      3. sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
      4. java.lang.reflect.Method.invoke(Method.java:498)
      4 frames
    6. IDEA
      AppMain.main
      1. com.intellij.rt.execution.application.AppMain.main(AppMain.java:144)
      1 frame