Documentation

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

callStackFromMemVar :: forall p sym ext rtp lang (args :: Maybe (Ctx CrucibleType)). SimState p sym ext rtp lang args -> GlobalVar Mem -> CallStack Source #