what4-1.0: Solver-agnostic symbolic values support for issuing queries

Copyright(c) Galois Inc 2013-2020
LicenseBSD3
MaintainerJoe Hendrix <jhendrix@galois.com>
Stabilityprovisional
Safe HaskellNone
LanguageHaskell2010

What4.Utils.Streams

Description

 
Synopsis

Documentation

logErrorStream Source #

Arguments

:: InputStream ByteString 
-> (String -> IO ())

Logging function

-> IO () 

Write from input stream to a logging function.