crucible-syntax-0.4.1: A syntax for reading and writing Crucible control-flow graphs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Lang.Crucible.Syntax.Overrides

Documentation

setupOverrides :: (IsSymInterface sym, sym ~ ExprBuilder t st fs) => sym -> HandleAllocator -> IO [(FnBinding p sym ext, Position)] Source #