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: { m1,m2: bool; };

INPUT
    b0,b1: bool;

DEFINE
    t := Test(b0,b1);

FTSPEC
    t.m1;
    t.m2;