dune

(include dune.inc)

(rule
 (alias runtest)
 (deps
  (glob_files *.cnf)
  (glob_files *.smt2))
 (action
  (with-stdout-to
   dune.inc
   (run
    %{exe:../../../generate_tests/generate_dune_tests.exe}
    --options
    "no-wegraph no-res-ext no-res-aup"
    --options
    "no-wegraph no-res-aup"
    --options
    "no-wegraph"
    --options
    "no-res-ext no-res-aup"
    --options
    "no-res-aup"
    --options
    ""
    .
    unsat)))
 (mode promote))