.PHONY: ensures

LCLINT = lclint

ensures:
	${LCLINT} ensures.c +fcnconstraint
