(coq.theory
  (name QuickChick.RedBlack)
  (theories QuickChick)
  (modules
    redblack
    testing
    verif
  ))

(rule
  (alias testing)
  (target testing.v)
  (action (run sh %{dep:../../scripts/mycppo} %{dep:testing.v.cppo} %{target})))
