# Last edited on 2021-07-31 16:01:45 by jstolfi

all: test

test:
	cd tests && make all