我正在尝试运行 Symbolic Java Path finder，但出现以下错误：严重的 JPF 配置错误：类加载器找不到 gov.nasa.jpf.symbc.SymbolicInstructionFactory：gov.nasa.jpf.JPFClassLoader@aa470b8
在类 gov.nasa.jpf.jvm.JVM 的“vm.class”实例化中使用 SEVERE JPF 终止
问问题
500 次
我正在尝试运行 Symbolic Java Path finder，但出现以下错误：严重的 JPF 配置错误：类加载器找不到 gov.nasa.jpf.symbc.SymbolicInstructionFactory：gov.nasa.jpf.JPFClassLoader@aa470b8
在类 gov.nasa.jpf.jvm.JVM 的“vm.class”实例化中使用 SEVERE JPF 终止