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
    ""
    --options
    "array-res-ext"
    --options
    "array-res-ext array-res-aup"
    --options
    "array-diff-graph"
    ;--options
    ;"array-diff-graph array-res-ext"
    ;--options
    ;"array-diff-graph array-res-ext array-res-aup"
    .
    unsat)))
 (mode promote))