atpg: c6288.test c7552.test

c6288.test:
	quaigh atpg --output c6288.test tests/c6288.bench

c7552.test:
	quaigh atpg --output c7552.test tests/c7552.bench