To run all the test Suppose you are in the root directory of jpf-costar, simply run: $ bin/testAll.sh