12 lines
269 B
Makefile
12 lines
269 B
Makefile
.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
|