Documentation

llvmExtensionEval :: forall sym bak p ext rtp blocks r ctx. (HasLLVMAnn sym, IsSymBackend sym bak) => bak -> IntrinsicTypes sym -> (Int -> String -> IO ()) -> CrucibleState p sym ext rtp blocks r ctx -> EvalAppFunc sym LLVMExtensionExpr Source #

callStackFromMemVar :: SimState p sym ext rtp lang args -> GlobalVar Mem -> CallStack Source #