use crate::Result;
use crate::model::{LogBmc, LogKind, RuntimeCtx};
use crate::runtime::Runtime;
impl Runtime {
pub fn rec_log_with_rt_ctx(&self, rt_ctx: &RuntimeCtx, log_kind: LogKind, msg: &str) -> Result<()> {
LogBmc::create_log_with_rt_ctx(self.mm(), rt_ctx, log_kind, msg)?;
Ok(())
}
}