(include dune.inc)

(rule
 (alias runtest)
 (mode promote)
 (deps
  (:files ; patterns from ReachSafety-Basic.set
   (glob_files basic/*.c)
   (glob_files eq/*.c)
   (glob_files cfg/multicall_*.c)
   (glob_files cfg/join_true-unreach-call.c)
   (glob_files cfg/builtin_expect_true-unreach-call.c)
   (glob_files cfg/region_global_init_true-unreach-call.c)
   (glob_files cfg/local_shadow_fun_true-unreach-call.c)
   (glob_files cfg/free_spawn_*.c)
   (glob_files cfg/uncil/*.c)))
 (action
  (with-stdout-to dune.inc
   (run gen/gen.exe %{files}))))
