# Last edited on 2021-02-22 04:53:14 by jstolfi

all:
	run_all_tests.sh