-- |
-- Module      : Test.DejaFu.Defaults
-- Copyright   : (c) 2017--2018 Michael Walker
-- License     : MIT
-- Maintainer  : Michael Walker <mike@barrucadu.co.uk>
-- Stability   : experimental
-- Portability : portable
--
-- Default parameters for test execution.
module Test.DejaFu.Defaults {-# DEPRECATED "Import Test.DejaFu.Settings instead" #-}
 ( defaultSettings
 , defaultWay
 , defaultBounds
 , defaultPreemptionBound
 , defaultFairBound
 , defaultLengthBound
 , defaultMemType
 ) where

import           Test.DejaFu.Settings