codebase:jpf

Java Path Finder

Java Path Finder is a project developed by Nasa for model checking Java bytecode. See https://github.com/javapathfinder/jpf-core.

JPF is used to test some of the datastructures of tlatools. These tests can be invoked by using:

ant -f customBuild.xml compile compile-test test-verify

test-verify is the command that will run the tests.

  • codebase/jpf.txt
  • Last modified: 2024/09/29 00:53
  • by fponzi