This is an old revision of the document!
PHP's gd library is missing or unable to create PNG images
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