16405540612

Committed 20 Jul 2025 11:50PM UTC coverage: 78.438% (-0.01%) from 78.451%

Build # 16405540612

Build Type

Pull #790

github

Committed by

web-flow

Commit Message

Merge 7bd76aff4 into 2725f402c

Pull Request Pull Request #790: Use precomputed tables

Run Details

62 of 69 new or added lines in 16 files covered. (89.86%)

10 existing lines in 5 files now uncovered.

11961 of 15249 relevant lines covered (78.44%)

2.94 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

0.0

/ergotree-interpreter/src/eval/create_provedlog.rs

use ergotree_ir::mir::create_provedlog::CreateProveDlog;
use ergotree_ir::mir::value::Value;
use ergotree_ir::sigma_protocol::sigma_boolean::ProveDlog;

use crate::eval::env::Env;
use crate::eval::Context;
use crate::eval::EvalError;
use crate::eval::Evaluable;

impl Evaluable for CreateProveDlog {
    fn eval<'ctx>(
        &self,
        env: &mut Env<'ctx>,
        ctx: &Context<'ctx>,
    ) -> Result<Value<'ctx>, EvalError> {
        let value_v = self.input.eval(env, ctx)?;
        match value_v {
            Value::GroupElement(ecpoint) => {
                let prove_dlog = ProveDlog::new(*ecpoint);
                Ok(prove_dlog.into())
            }
            _ => Err(EvalError::UnexpectedValue(format!(
                "Expected CreateProveDlog input to be Value::GroupElement, got {0:?}",
                value_v
            ))),
        }
    }
}

1	use ergotree_ir::mir::create_provedlog::CreateProveDlog;
2	use ergotree_ir::mir::value::Value;
3	use ergotree_ir::sigma_protocol::sigma_boolean::ProveDlog;
4
5	use crate::eval::env::Env;
6	use crate::eval::Context;
7	use crate::eval::EvalError;
8	use crate::eval::Evaluable;
9
10	impl Evaluable for CreateProveDlog {
11	fn eval<'ctx>(	×
12	&self,
13	env: &mut Env<'ctx>,
14	ctx: &Context<'ctx>,
15	) -> Result<Value<'ctx>, EvalError> {
16	let value_v = self.input.eval(env, ctx)?;	×
17	match value_v {	×
18	Value::GroupElement(ecpoint) => {	×
NEW 19	let prove_dlog = ProveDlog::new(*ecpoint);	×
20	Ok(prove_dlog.into())	×
21	}
22	_ => Err(EvalError::UnexpectedValue(format!(	×
23	"Expected CreateProveDlog input to be Value::GroupElement, got {0:?}",	×
24	value_v	×
25	))),
26	}
27	}
28	}

ergoplatform / sigma-rust / 16405540612

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous