
all:
	for f in *.mlw; do \
	  echo $$f; \
	  why3 prove -a split_vc -P 'Vampire,4.9' -o goals $$f; \
	done
