PAKCS
Exported names: Imported modules:

Module CC.AnalysisHelpers

Summary of exported operations:

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

Exported operations:

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

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