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

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