Skip to main content

litex/execute/
exec_fact_stmt.rs

1use crate::prelude::*;
2use std::result::Result;
3
4impl Runtime {
5    pub fn exec_fact(&mut self, fact: &Fact) -> Result<StmtResult, RuntimeError> {
6        let result = self.verify_fact_return_err_if_not_true(fact, &VerifyState::new(0, false))?;
7
8        let infer_result =
9            self.verify_well_defined_and_store_and_infer_with_default_verify_state(fact.clone())?;
10
11        Ok(result.with_infers(infer_result))
12    }
13}