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