7 lines
176 B
Plaintext
7 lines
176 B
Plaintext
(test
|
|
(name check)
|
|
(modules check)
|
|
(libraries core unix)
|
|
(deps ../src/main.exe (glob_files ../cases/*.sexp) (glob_files ../smt/*.smt2))
|
|
(action (chdir .. (run %{test}))))
|