ingrs :: [Ingredient]
ingrs =
   [ antXMLRunner
   -- explicitly including this option keeps the test suite from failing due
   -- to passing the '--quickcheck-tests' option on the command line
   , includingOptions [ Option (Proxy :: Proxy QuickCheckTests) ]
   ]
   ++
   defaultIngredients
ingrs :: [Ingredient]
ingrs =
   [ antXMLRunner
   -- explicitly including this option keeps the test suite from failing due
   -- to passing the '--quickcheck-tests' option on the command line
   , includingOptions [ Option (Proxy :: Proxy QuickCheckTests) ]
   ]
   ++
   defaultIngredients
ingrs =
   [ antXMLRunner
   -- explicitly including this option keeps the test suite from failing due
   -- to passing the '--quickcheck-tests' option on the command line
   , includingOptions [ Option (Proxy :: Proxy QuickCheckTests) ]
   ]
   ++
   defaultIngredients