SUBDIRS += 0
SUBDIRS += 1
SUBDIRS += 2

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