在eclipse和ClassNotFoundException中设置jpf

Question

我正在尝试使 java 路径查找器与我的测试示例一起使用，由于某种原因，使用 eclipse 中的验证插件似乎不起作用，我正在使用 then run-JPF 方法。 JPF 似乎工作，直到我尝试使用一些外部类，如：gov.nasa.jpf.jvm.Verify 他似乎没有找到。我已经尝试将它添加到 run 方法的类路径中，但我仍然遇到同样的问题，我该怎么办？

Answer 1

问题是关于使用 java 1.8，切换到 1.7 解决了一切。