# Last edited on 2021-05-31 18:42:55 by jstolfi

WHICH := bug
# WHICH := gud
# WHICH := inc
# WHICH := all


all:
	run_all_tests.sh ${WHICH}