Documentation
unsafeERTestReport :: (Show tId, Show sId, ERIntApprox ira) => String -> (tId, sId, ira, ira) -> a -> aSource
getOverestimation :: ERIntApprox ira => ira -> ira -> (Double, (ira, ira))Source
produceSummary :: String -> IO ()Source
unsafeERTestReport :: (Show tId, Show sId, ERIntApprox ira) => String -> (tId, sId, ira, ira) -> a -> aSource
getOverestimation :: ERIntApprox ira => ira -> ira -> (Double, (ira, ira))Source
produceSummary :: String -> IO ()Source