RUN += Huffman.fst
RUN += IntervalIntersect.fst

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