1
use conjure_cp::ast::Metadata;
2
use conjure_cp::ast::{Expression, Moo};
3
use conjure_cp::essence_expr;
4
use conjure_cp::matrix_expr;
5
use conjure_cp_core::{domain_int, range};
6
use defile as _;
7

            
8
#[test]
9
3
fn test_2plus2() {
10
3
    let expr = essence_expr!(2 + 2);
11
3
    assert_eq!(
12
        expr,
13
3
        Expression::Sum(
14
3
            Metadata::new(),
15
3
            Moo::new(matrix_expr![
16
3
                Expression::Atomic(Metadata::new(), 2.into()),
17
3
                Expression::Atomic(Metadata::new(), 2.into());
18
3
                domain_int!(1..)
19
3
            ])
20
3
        )
21
    );
22
3
}
23

            
24
#[test]
25
3
fn test_metavar_const() {
26
3
    let x = 4;
27
3
    let expr = essence_expr!(&x + 2);
28
3
    assert_eq!(
29
        expr,
30
3
        Expression::Sum(
31
3
            Metadata::new(),
32
3
            Moo::new(matrix_expr![
33
3
                Expression::Atomic(Metadata::new(), 4.into()),
34
3
                Expression::Atomic(Metadata::new(), 2.into());
35
3
                domain_int!(1..)
36
3
            ])
37
3
        )
38
    );
39
3
}