YACASL2DIR= ../../..
CASL2 = $(YACASL2DIR)/casl2
ASFILE = testbinout.casl ../binout.casl
CMD = $(CASL2) $(ASFILE)
include $(YACASL2DIR)/test/TEST.mk