Logiciels /

Java PathFinder

Tutoriel d'installation de l'outil Java PathFinder

Windows - MacOS - Ubuntu - Fedora

Windows

Installation sous Windows

Pour installer Java PathFinder il faut cloner un dépôt Github (https://github.com/javapathfinder/jpf-core)

Plus d'informations ici : https://github.com/javapathfinder/jpf-core/wiki/Downloading-sources

Documentation : https://github.com/javapathfinder/jpf-core/wiki

Mac OS (Intel et Apple Silicon)

Installation sous Mac OS

Prérequis : Pour installer Java PathFinder, vous aurez besoin d'une ancienne version de Java car il y a des erreurs avec les versions récentes. Pour cela, installez le gestionnaire de version SDKMAN https://sdkman.io/install.

Installer la bonne version de Java

  1. Tapez sdk list java pour voir les différentes versions de Java que vous pouvez installer sur votre système
  2. À l'aide de SDKMAN, installez une version de Java 8 au moins supérieure à la 8.0.252 (fonctionne par exemple avec sdk install java 8.0.262-zulu)
  3. L'utilitaire vous demandera alors si vous voulez mettre cette version de Java en version par défaut. Répondez 'y'.
  4. Vous avez maintenant la bonne version installée. Pour reswitcher sur la version que vous aviez précédemment, tapez sdk list java pour voir la liste des version de Java téléchargeable, et téléchargez celle qui vous convient.

Installer Java PathFinder

  1. Ouvrez un terminal et placez-vous dans le dossier dans lequel vous voulez installer le programme
  2. Clonez le git du projet avec git clone https://github.com/javapathfinder/jpf-core.git
  3. Ensuite, exécutez la commande cd jpf-core pour vous placer dans le dossier téléchargé
  4. Tapez maintenant la commande ./gradlew buildJars
  5. Normalement, il ne devrait pas y avoir de problème et vous devriez voir le message BUILD SUCCESSFUL
  6. Vous pouvez tester JPF sur une fichier d'exemple à l'aide de la commande java -jar build/RunJPF.jar src/examples/Racer.jpf

Ubuntu

Installation sous Ubuntu

Prérequis : Pour installer Java PathFinder, vous aurez besoin d'une ancienne version de Java car il y a des erreurs avec les versions récentes. Pour cela, installez le gestionnaire de version SDKMAN https://sdkman.io/install.

Installer la bonne version de Java

  1. Tapez sdk list java pour voir les différentes versions de Java que vous pouvez installer sur votre système
  2. À l'aide de SDKMAN, installez une version de Java 8 au moins supérieure à la 8.0.252 (fonctionne par exemple avec sdk install java 8.0.252-open)
  3. L'utilitaire vous demandera alors si vous voulez mettre cette version de Java en version par défaut. Répondez 'y'.
  4. Vous avez maintenant la bonne version installée. Pour reswitcher sur la version que vous aviez précédemment, tapez sdk list java pour voir la liste des version de Java téléchargeable, et téléchargez celle qui vous convient.

Installer Java PathFinder

  1. Ouvrez un terminal et placez-vous dans le dossier dans lequel vous voulez installer le programme
  2. Clonez le git du projet avec git clone https://github.com/javapathfinder/jpf-core.git
  3. Ensuite, exécutez la commande cd jpf-core pour vous placer dans le dossier téléchargé
  4. Tapez maintenant la commande ./gradlew buildJars
  5. Normalement, il ne devrait pas y avoir de problème et vous devriez voir le message BUILD SUCCESSFUL
  6. Vous pouvez tester JPF sur une fichier d'exemple à l'aide de la commande java -jar build/RunJPF.jar src/examples/Racer.jpf

Fedora

Installation sous Fedora

Prérequis : Pour installer Java PathFinder, vous aurez besoin d'une ancienne version de Java car il y a des erreurs avec les versions récentes. Pour cela, installez le gestionnaire de version SDKMAN https://sdkman.io/install.

Installer la bonne version de Java

  1. Tapez sdk list java pour voir les différentes versions de Java que vous pouvez installer sur votre système
  2. À l'aide de SDKMAN, installez une version de Java 8 au moins supérieure à la 8.0.252 (fonctionne par exemple avec sdk install java 8.0.252-open)
  3. L'utilitaire vous demandera alors si vous voulez mettre cette version de Java en version par défaut. Répondez 'y'.
  4. Vous avez maintenant la bonne version installée. Pour reswitcher sur la version que vous aviez précédemment, tapez sdk list java pour voir la liste des version de Java téléchargeable, et téléchargez celle qui vous convient.

Installer Java PathFinder

  1. Ouvrez un terminal et placez-vous dans le dossier dans lequel vous voulez installer le programme
  2. Clonez le git du projet avec git clone https://github.com/javapathfinder/jpf-core.git
  3. Ensuite, exécutez la commande cd jpf-core pour vous placer dans le dossier téléchargé
  4. Tapez maintenant la commande ./gradlew buildJars
  5. Normalement, il ne devrait pas y avoir de problème et vous devriez voir le message BUILD SUCCESSFUL
  6. Vous pouvez tester JPF sur une fichier d'exemple à l'aide de la commande java -jar build/RunJPF.jar src/examples/Racer.jpf