java.lang.ArrayIndexOutOfBoundsException: -1

GitHub | MarwenSami | 7 months ago
tip
Click on the to mark the solution that helps you, Samebug will learn from it.
As a community member, you’ll be rewarded for you help.
  1. 0

    Problem with switch statement.

    GitHub | 7 months ago | MarwenSami
    java.lang.ArrayIndexOutOfBoundsException: -1

    Root Cause Analysis

    1. java.lang.ArrayIndexOutOfBoundsException

      -1

      at gov.nasa.jpf.jdart.bytecode.TABLESWITCH.getTargetPC()
    2. gov.nasa.jpf
      RunJPF.main
      1. gov.nasa.jpf.jdart.bytecode.TABLESWITCH.getTargetPC(TABLESWITCH.java:54)
      2. gov.nasa.jpf.jdart.bytecode.SwitchHelper.execute(SwitchHelper.java:60)
      3. gov.nasa.jpf.jdart.bytecode.TABLESWITCH.execute(TABLESWITCH.java:64)
      4. gov.nasa.jpf.vm.ThreadInfo.executeInstruction(ThreadInfo.java:1908)
      5. gov.nasa.jpf.vm.ThreadInfo.executeTransition(ThreadInfo.java:1859)
      6. gov.nasa.jpf.vm.SystemState.executeNextTransition(SystemState.java:765)
      7. gov.nasa.jpf.vm.VM.forward(VM.java:1722)
      8. gov.nasa.jpf.search.Search.forward(Search.java:579)
      9. gov.nasa.jpf.search.DFSearch.search(DFSearch.java:79)
      10. gov.nasa.jpf.JPF.run(JPF.java:613)
      11. gov.nasa.jpf.jdart.JDart.run(JDart.java:207)
      12. gov.nasa.jpf.jdart.JDart.start(JDart.java:131)
      13. gov.nasa.jpf.tool.RunJPF.main(RunJPF.java:108)
      13 frames