r2u2_cli 0.1.0

R2U2 CLI: A stream-based runtime monitor command-line interface
1
2
3
4
5
6
7
8
9
10
11
12
13

STRUCT
    Test: { I: int[]; };

INPUT
    i0,i1,i2: int;

DEFINE
    s := {i0,i1,i2};
    t := Test(s);

FTSPEC
    foreach(i:t.I)(i > 5);
    F[0,1] (t.I[2] < 3);