litex-lang 0.9.82-beta

A simple formal proof language and verifier, learnable in 2 hours
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

use crate::prelude::*;

impl Runtime {
    pub fn exec_def_abstract_prop_stmt(
        &mut self,
        def_abstract_prop_stmt: &DefAbstractPropStmt,
    ) -> Result<StmtResult, RuntimeError> {
        self.store_def_abstract_prop(def_abstract_prop_stmt)
            .map_err(|e| {
                exec_stmt_error_with_stmt_and_cause(def_abstract_prop_stmt.clone().into(), e)
            })?;
        Ok(NonFactualStmtSuccess::new_with_stmt(def_abstract_prop_stmt.clone().into()).into())
    }
}