Show pageOld revisionsBacklinksBack to top This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ====== 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: <code> ant -f customBuild.xml compile compile-test test-verify </code> test-verify is the command that will run the tests. codebase/jpf.txt Last modified: 2024/09/28 22:53by fponzi
fponzi