A unit test framework for PA