Module CC.AnalysisHelpers

Summary of exported operations:

getTerminationInfos :: Options -> [String] -> IO ((String,String) -> Bool)   
getProductivityInfos :: Options -> [String] -> IO ((String,String) -> Productivity)   
getUnsafeModuleInfos :: Options -> [String] -> IO ((String,String) -> [String])   
dropPublicSuffix :: String -> String   

Exported operations:

getTerminationInfos :: Options -> [String] -> IO ((String,String) -> Bool)   

getProductivityInfos :: Options -> [String] -> IO ((String,String) -> Productivity)   

getUnsafeModuleInfos :: Options -> [String] -> IO ((String,String) -> [String])   

dropPublicSuffix :: String -> String