r2u2_cli 4.1.0

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

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

INPUT
    i0,i1,i2: int;

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

FTSPEC
    F[0,1] (t.I[2] < 3);