PAKCS
Exported names: Imported modules:

Module Output

This module defines some auxiliary functions for intermediate output.

Author: Jan Tikovsky

Version: December 2017

Summary of exported operations:

traceEval :: CCTOpts -> String -> a -> a   
traceInfo :: CCTOpts -> String -> a -> a   
traceStatus :: CCTOpts -> String -> a -> a   
status :: CCTOpts -> String -> IO ()   
Print status information
info :: CCTOpts -> String -> IO ()   
Print additional information
debug :: CCTOpts -> String -> IO ()   
Print debug information
debugEval :: CCTOpts -> String -> IO ()   
Print debug information on concolic evaluation
debugSearch :: CCTOpts -> String -> IO ()   
Print debug information on concolic search
putMsg :: String -> IO ()   
Write the given String to the command line with a preceeding line of =

Exported operations:

traceEval :: CCTOpts -> String -> a -> a   

traceInfo :: CCTOpts -> String -> a -> a   

traceStatus :: CCTOpts -> String -> a -> a   

status :: CCTOpts -> String -> IO ()   

Print status information

info :: CCTOpts -> String -> IO ()   

Print additional information

debug :: CCTOpts -> String -> IO ()   

Print debug information

debugEval :: CCTOpts -> String -> IO ()   

Print debug information on concolic evaluation

debugSearch :: CCTOpts -> String -> IO ()   

Print debug information on concolic search

putMsg :: String -> IO ()   

Write the given String to the command line with a preceeding line of =