{-| Module : Main Description : run all benchmarks defined in the AERN-Real package Copyright : (c) Michal Konecny License : BSD3 Maintainer : mikkonecny@gmail.com Stability : experimental Portability : portable -} module Main where import Numeric.AERN.RealArithmetic.Basis.Double import Numeric.AERN.RealArithmetic.Interval.Double import Numeric.AERN.RealArithmetic.Interval import Numeric.AERN.RealArithmetic.Interval.ElementaryFromFieldOps import Numeric.AERN.Basics.Interval import Numeric.AERN.Basics.Consistency import qualified Numeric.AERN.Basics.NumericOrder as NumOrd import qualified Numeric.AERN.Basics.RefinementOrder as RefOrd import Numeric.AERN.RealArithmetic.Measures import qualified Numeric.AERN.RealArithmetic.NumericOrderRounding as ArithUpDn import qualified Numeric.AERN.RealArithmetic.RefinementOrderRounding as ArithInOut import Numeric.AERN.Basics.Bench import Criterion.Main import Criterion main = defaultMainWith (criterionConfig "bench-Double" 20) (return ()) $ [ ArithInOut.benchInOutExp ("DI", sampleDI) ArithInOut.benchExpAreasReal ]