Module Verify.Statistics

Operations to show and store statistical information about the analysis.

Author: Michael Hanus

Version: February 2024

Summary of exported operations:

showStatistics :: TermDomain a => Options -> Int -> Int -> ((String,String) -> Bool) -> Int -> Int -> (Int,Int) -> (Int,Int) -> [((String,String),Maybe [a])] -> [(String,String)] -> (Int,Int,Int) -> (String,[String])  Deterministic 
storeStatistics :: Options -> String -> String -> [String] -> IO ()  Deterministic 
Store the statitics for a module in a text and a CSV file (if required by the current options).

Exported operations:

showStatistics :: TermDomain a => Options -> Int -> Int -> ((String,String) -> Bool) -> Int -> Int -> (Int,Int) -> (Int,Int) -> [((String,String),Maybe [a])] -> [(String,String)] -> (Int,Int,Int) -> (String,[String])  Deterministic 

storeStatistics :: Options -> String -> String -> [String] -> IO ()  Deterministic 

Store the statitics for a module in a text and a CSV file (if required by the current options).