.PHONY: all check demo

all:
	dune build @all

check:
	dune runtest --force --no-buffer

demo: all
	_build/default/main.exe repair cases/peterson.sexp --out build/repair --animate
	_build/default/main.exe contrast build/repair/witness.sexp build/repair/repair.sexp --animate