Anyone around here?
the following is the error-log
$ jpf -c InputSymbol.properties InputSymbol
symbolic.dp=choco
Symbolic Execution Mode
JavaPathfinder v4.1 - (C) 1999-2007 RIACS/NASA Ames Research Center
====================================================== system under test
application: InputSymbol.java
====================================================== search started: 7/12/11 9:34 AM
[SEVERE] JPF exception, terminating: exception during instructionExecuted() notification
java.lang.StringIndexOutOfBoundsException: String index out of range: -1
at java.lang.String.substring(String.java:1949)
at gov.nasa.jpf.symbc.bytecode.BytecodeUtils.isMethodSymbolic(BytecodeUtils.java:89)
at gov.nasa.jpf.symbc.SymbolicListener.instructionExecuted(SymbolicListener.java:195)
at gov.nasa.jpf.jvm.VMListenerMulticaster.instructionExecuted(VMListenerMulticaster.java:139)
at gov.nasa.jpf.jvm.JVM.notifyInstructionExecuted(JVM.java:569)
at gov.nasa.jpf.jvm.ThreadInfo.executeInstruction(ThreadInfo.java:1687)
at gov.nasa.jpf.jvm.ThreadInfo.executeStep(ThreadInfo.java:2371)
at gov.nasa.jpf.jvm.SystemState.nextSuccessor(SystemState.java:506)
at gov.nasa.jpf.jvm.JVM.forward(JVM.java:1467)
at gov.nasa.jpf.search.Search.forward(Search.java:403)
at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:83)
at gov.nasa.jpf.JPF.run(JPF.java:529)
at gov.nasa.jpf.JPF.main(JPF.java:161)
Exception in thread "main" ---------------------- JPF error stack trace ---------------------
gov.nasa.jpf.JPFListenerException: exception during instructionExecuted() notification
at gov.nasa.jpf.jvm.JVM.notifyInstructionExecuted(JVM.java:579)
at gov.nasa.jpf.jvm.ThreadInfo.executeInstruction(ThreadInfo.java:1687)
at gov.nasa.jpf.jvm.ThreadInfo.executeStep(ThreadInfo.java:2371)
at gov.nasa.jpf.jvm.SystemState.nextSuccessor(SystemState.java:506)
at gov.nasa.jpf.jvm.JVM.forward(JVM.java:1467)
at gov.nasa.jpf.search.Search.forward(Search.java:403)
at gov.nasa.jpf.search.DFSearch.search(DFSearch.java:83)
at gov.nasa.jpf.JPF.run(JPF.java:529)
at gov.nasa.jpf.JPF.main(JPF.java:161)
Caused by: java.lang.StringIndexOutOfBoundsException: String index out of range: -1
at java.lang.String.substring(String.java:1949)
at gov.nasa.jpf.symbc.bytecode.BytecodeUtils.isMethodSymbolic(BytecodeUtils.java:89)
at gov.nasa.jpf.symbc.SymbolicListener.instructionExecuted(SymbolicListener.java:195)
at gov.nasa.jpf.jvm.VMListenerMulticaster.instructionExecuted(VMListenerMulticaster.java:139)
at gov.nasa.jpf.jvm.JVM.notifyInstructionExecuted(JVM.java:569)
... 8 more
need help. Ths