app(pta PointsTo.cpp)

#add_test_scale(small pta "${BASEINPUT}/java/pta/gdb_constraints.txt")
