SUBDIRS += stlc
SUBDIRS += bool_refinement
SUBDIRS += dependent_bool_refinement

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