lemma-engine 0.8.19

A language that means business.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

use lemma::{DateTimeValue, Engine, SourceType};
use rust_decimal::Decimal;
use std::collections::HashMap;

#[test]
fn decimal_max_multiply_vetoes_on_decimal_limit_not_numeric_overflow() {
    let max_decimal = Decimal::MAX.normalize().to_string();
    let code = format!(
        r#"
spec bigint_exact
data max_val: {max_decimal}
data two: 2
rule product: max_val * two
"#
    );

    let mut engine = Engine::new();
    engine.load(&code, SourceType::Volatile).unwrap();

    let now = DateTimeValue::now();
    let response = engine
        .run(
            None,
            "bigint_exact",
            Some(&now),
            HashMap::new(),
            false,
            None,
        )
        .expect("evaluation must complete");

    let rule = response
        .results
        .get("product")
        .expect("product rule must be present");

    assert!(rule.vetoed);
    assert_eq!(
        rule.veto_reason.as_deref(),
        Some("Calculated result exceeds decimal value limit"),
        "BigInt intermediate multiply must reach commit boundary, not fail with numeric overflow"
    );
    assert_ne!(
        rule.veto_reason.as_deref(),
        Some("numeric overflow"),
        "must not spuriously veto during exact intermediate arithmetic"
    );
}