/test/uk/ac/ox/cs/pagoda/junit/
../
ClauseTester.java