(alias
  (name runtest)
  (deps (alias_rec all)))

(cram
  (deps
     (package coq-quickchick))
  ; These cram tests require a global installation of QuickChick
  ; available to the quickChick tool or to coqc, so we don't run them by default.
  (runtest_alias false)
  (alias cram))
