.PHONY: all check demo

all:
	dune build @all

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

demo: all
	dune exec reorder -- repair cases/peterson.sexp --out build/repair --animate
	dune exec reorder -- contrast build/repair/witness.sexp build/repair/repair.sexp --animate