~james/reorder

reorder/test/dune -rw-r--r--176 bytes ViewLogBlameView rawPermalink c27220bf81 — fix(cli): reject invalid delays and surplus inputs 7 days ago
1(test
2 (name check)
3 (modules check)
4 (libraries core unix)
5 (deps ../src/main.exe (glob_files ../cases/*.sexp) (glob_files ../smt/*.smt2))
6 (action (chdir .. (run %{test}))))