Java JPF配置错误：找不到类gov.nasa.JPF.symbc.SymbolicInstructionFactory_Java

Java JPF配置错误：找不到类gov.nasa.JPF.symbc.SymbolicInstructionFactory

java

Java JPF配置错误：找不到类gov.nasa.JPF.symbc.SymbolicInstructionFactory,java,Java,我正在尝试运行符号Java路径查找器，但服务器出现以下错误：严重的JPF配置错误：类加载器未找到类gov.nasa.JPF.symbc.SymbolicInstructionFactory:gov.nasa.JPF。JPFClassLoader@aa470b8 在类gov.nasa.jpf.jvm.jvm的“vm.class”实例化中使用严重JPF终止

我正在尝试运行符号Java路径查找器，但服务器出现以下错误：严重的JPF配置错误：类加载器未找到类gov.nasa.JPF.symbc.SymbolicInstructionFactory:gov.nasa.JPF。JPFClassLoader@aa470b8

在类gov.nasa.jpf.jvm.jvm的“vm.class”实例化中使用严重JPF终止