lemma-engine 0.8.13

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
49
50
51
52
53

//! Adversarial: `effective_dates` unions every `effective_from` in the context; a consumer
//! whose range contains many foreign boundaries must still plan and evaluate consistently.

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

fn date(y: i32, m: u32, d: u32) -> DateTimeValue {
    DateTimeValue {
        year: y,
        month: m,
        day: d,
        hour: 0,
        minute: 0,
        second: 0,
        microsecond: 0,
        timezone: None,
    }
}

#[test]
fn many_global_boundaries_inside_consumer_range_plan_at_each_still_consistent() {
    let mut src = String::from(
        r#"spec stable
data v: 1

spec consumer 2025-01-01
uses s: stable
rule out: s.v

"#,
    );
    for m in 2..=11 {
        src.push_str(&format!("spec noise{m} 2025-{m:02}-15\ndata x: {m}\n\n"));
    }

    let mut engine = Engine::new();
    engine
        .load(
            &src,
            SourceType::Path(std::sync::Arc::new(std::path::PathBuf::from("big.lemma"))),
        )
        .expect("many specs with boundaries inside consumer range");

    for month in 1..=12 {
        let d = date(2025, month, 5);
        let r = engine.run(None, "consumer", Some(&d), HashMap::new(), false);
        assert!(r.is_ok(), "month {month}: {:?}", r.err());
        let resp = r.unwrap();
        let rule = resp.results.get("out").expect("out");
        let v = rule.result.value().expect("value");
        assert_eq!(v.to_string(), "1", "month {month}");
    }
}