You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Exception in thread "main" java.lang.RuntimeException: UnsolvedSymbolVisitor is stuck at one or more exception
at org.checkerframework.specimin.SpeciminRunner.performMinimization(SpeciminRunner.java:166)
at org.checkerframework.specimin.SpeciminRunner.main(SpeciminRunner.java:64)
The text was updated successfully, but these errors were encountered:
--args=--outputDirectory "/temp/dir" --root "/my/root/bcel-util/src/main/java" --targetFile "org/plumelib/bcelutil/StackVer.java" --targetMethod "org.plumelib.bcelutil.StackVer#do_stack_ver(MethodGen)"
--args=--outputDirectory "temp/dir" --root "/root/bcel-util/src/main/java" --targetFile "org/plumelib/bcelutil/StackTypes.java" --targetMethod "org.plumelib.bcelutil.StackTypes#set(int, Frame)"
--args=--outputDirectory "tempdir" --root "/root/bcel-util/src/main/java" --targetFile "org/plumelib/bcelutil/StackTypes.java" --targetMethod "org.plumelib.bcelutil.StackTypes#toString(OperandStack)"
--args=--outputDirectory "tempdir" --root "/root/bcel-util/src/main/java" --targetFile "org/plumelib/bcelutil/StackTypes.java" --targetMethod "org.plumelib.bcelutil.StackTypes#toString(LocalVariables)"
--args=--outputDirectory "/tempdir" --root "/root/bcel-util/src/main/java" --targetFile "org/plumelib/bcelutil/SimpleLog.java" --targetMethod "org.plumelib.bcelutil.SimpleLog#log(String, Object)"
--args=--outputDirectory "/tempdir" --root "/root/bcel-util/src/main/java" --targetFile "org/plumelib/bcelutil/BcelUtil.java" --targetMethod "org.plumelib.bcelutil.BcelUtil#instructionListToString(InstructionList, ConstantPoolGen)"
--args=--outputDirectory "/temodir" --root "/root/bcel-util/src/main/java" --targetFile "org/plumelib/bcelutil/BcelUtil.java" --targetMethod "org.plumelib.bcelutil.BcelUtil#localVariablesToString(MethodGen)"
--args=--outputDirectory "/tempdir" --root "/root/bcel-util/src/main/java" --targetFile "org/plumelib/bcelutil/BcelUtil.java" --targetMethod "org.plumelib.bcelutil.BcelUtil#attributeNameToString(Attribute, ConstantPoolGen)"
--args=--outputDirectory "/tempdir" --root "/root/bcel-util/src/main/java" --targetFile "org/plumelib/bcelutil/BcelUtil.java" --targetMethod "org.plumelib.bcelutil.BcelUtil#isConstructor(MethodGen)"
--args=--outputDirectory "/tempdir" --root "/root/bcel-util/src/main/java" --targetFile "org/plumelib/bcelutil/BcelUtil.java" --targetMethod "org.plumelib.bcelutil.BcelUtil#isClinit(MethodGen)"
--args=--outputDirectory "/tempdir" --root "/root/bcel-util/src/main/java" --targetFile "org/plumelib/bcelutil/BcelUtil.java" --targetMethod "org.plumelib.bcelutil.BcelUtil#inJdk(ClassGen)"
--args=--outputDirectory "/tempdir" --root "/root/bcel-util/src/main/java" --targetFile "org/plumelib/bcelutil/BcelUtil.java" --targetMethod "org.plumelib.bcelutil.BcelUtil#isMain(MethodGen)"
--args=--outputDirectory "/tempdir" --root "/root/bcel-util/src/main/java" --targetFile "org/plumelib/bcelutil/BcelUtil.java" --targetMethod "org.plumelib.bcelutil.BcelUtil#checkMgens(ClassGen)"
--args=--outputDirectory "/tempdir" --root "/root/bcel-util/src/main/java" --targetFile "org/plumelib/bcelutil/BcelUtil.java" --targetMethod "org.plumelib.bcelutil.BcelUtil#dump(JavaClass, File)"
--args=--outputDirectory "/tempdir" --root "/root/bcel-util/src/main/java" --targetFile "org/plumelib/bcelutil/BcelUtil.java" --targetMethod "org.plumelib.bcelutil.BcelUtil#getConstantString(ConstantPool, int)"
--args=--outputDirectory "/tempdir" --root "/root/bcel-util/src/main/java" --targetFile "org/plumelib/bcelutil/BcelUtil.java" --targetMethod "org.plumelib.bcelutil.BcelUtil#resetLocalsToFormals(MethodGen)"
--args=--outputDirectory "/tempdir" --root "/root/bcel-util/src/main/java" --targetFile "org/plumelib/bcelutil/BcelUtil.java" --targetMethod "org.plumelib.bcelutil.BcelUtil#makeMethodBodyEmpty(MethodGen)"
--args=--outputDirectory "/tempdir" --root "/root/bcel-util/src/main/java" --targetFile "org/plumelib/bcelutil/BcelUtil.java" --targetMethod "org.plumelib.bcelutil.BcelUtil#removeLocalVariableTypeTables(MethodGen)"
--args=--outputDirectory "/tempdir" --root "/root/bcel-util/src/main/java" --targetFile "org/plumelib/bcelutil/BcelUtil.java" --targetMethod "org.plumelib.bcelutil.BcelUtil#typeToClassgetname(Type)"
--args=--outputDirectory "/tempdir" --root "/root/bcel-util/src/main/java" --targetFile "org/plumelib/bcelutil/BcelUtil.java" --targetMethod "org.plumelib.bcelutil.BcelUtil#fqBinaryNameToType(String)"
The text was updated successfully, but these errors were encountered: