# execute CNF tests with a single 'make' command in '../../build'
test:
	$(MAKE) -C .. cnf
