在eclipse和ClassNotFoundException中设置jpf

Question

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

Answer 1

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