SUBDIRS += 1
SUBDIRS += 2
SUBDIRS += 3

FSTAR_ROOT ?= ../..
include $(FSTAR_ROOT)/mk/test.mk
