DIRS = ansi-c cbmc cpp 

test:
	$(foreach var,$(DIRS), make -C $(var) test;)
