air-mir 0.4.0

Intermediate representation for the AirScript language
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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152

use super::expect_diagnostic;

#[test]
fn err_trace_cols_empty() {
    // if trace columns is empty, an error should be returned at parser level.
    let source = "
    def test
    trace_columns {}
    public_inputs {
        stack_inputs: [16]
    boundary_constraints {
        enf clk.first = 0
    integrity_constraints {
        enf clk' = clk + 1";

    expect_diagnostic(source, "missing 'main' declaration in this section");
}

#[test]
fn err_trace_cols_omitted() {
    // returns an error if trace columns declaration is missing
    let source = "
    def test
    public_inputs {
        stack_inputs: [16],
    }
    boundary_constraints {
        enf clk.first = 0;
    }
    integrity_constraints {
        enf clk' = clk + 1;
    }";

    expect_diagnostic(source, "missing trace_columns section");
}

#[test]
fn err_pub_inputs_empty() {
    // if public inputs are empty, an error should be returned at parser level.
    let source = "
    def test
    trace_columns {
        main: [clk],
    }
    public_inputs {}
    boundary_constraints {
        enf clk.first = 0;
    }
    integrity_constraints {
        enf clk' = clk + 1;
    }";

    expect_diagnostic(source, "expected one of: 'identifier'");
}

#[test]
fn err_pub_inputs_omitted() {
    // if public inputs are omitted, an error should be returned at IR level.
    let source = "
    def test
    trace_columns {
        main: [clk],
    }
    boundary_constraints {
        enf clk.first = 0;
    }
    integrity_constraints {
        enf clk' = clk + 1;
    }";

    expect_diagnostic(source, "root module must contain a public_inputs section");
}

#[test]
fn err_bc_empty() {
    // if boundary constraints are empty, an error should be returned at parser level.
    let source = "
    def test
    trace_columns {
        main: [clk],
    }
    public_inputs {
        stack_inputs: [16],
    }
    boundary_constraints {}
    integrity_constraints {
        enf clk' = clk + 1;
    }";

    expect_diagnostic(source, "expected one of: '\"enf\"', '\"let\"'");
}

#[test]
fn err_bc_omitted() {
    // if boundary constraints are omitted, an error should be returned at IR level.
    let source = "
    def test
    trace_columns {
        main: [clk],
    }
    public_inputs {
        stack_inputs: [16],
    }
    integrity_constraints {
        enf clk' = clk + 1;
    }";

    expect_diagnostic(
        source,
        "root module must contain both boundary_constraints and integrity_constraints sections",
    );
}

#[test]
fn err_ic_empty() {
    // if integrity constraints are empty, an error should be returned at parser level.
    let source = "
    def test
    trace_columns {
        main: [clk],
    }
    public_inputs {
        stack_inputs: [16],
    }
    boundary_constraints {
        enf clk.first = 0;
    }
    integrity_constraints {}";

    expect_diagnostic(source, "expected one of: '\"enf\"', '\"let\"'");
}

#[test]
fn err_ic_omitted() {
    // if integrity constraints are omitted, an error should be returned at IR level.
    let source = "
    def test
    trace_columns {
        main: [clk],
    }
    public_inputs {
        stack_inputs: [16],
    }
    boundary_constraints {
        enf clk.first = 0;
    }";

    expect_diagnostic(
        source,
        "root module must contain both boundary_constraints and integrity_constraints sections",
    );
}