0
Je suis en train de faire finder chemin java travail avec mes exemples de test, en utilisant le plug-in de vérifier éclipse ne semble pas fonctionner pour une raison quelconque, je suis en utilisant la méthode à la gestion JPF alors. JPF semble fonctionner jusqu'à ce que j'essaie d'utiliser des classes externes comme: gov.nasa.jpf.jvm.Vérifiez qu'il ne semble pas trouver. J'ai essayé de l'ajouter dans le classpath de la méthode run, mais j'ai toujours le même problème, que dois-je faire?Réglage JPF dans Eclipse et ClassNotFoundException