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

INPUT
    b0,b1,b2: bool;

FTSPEC
    (F[0,5] b0) || (F[2,3] b0);
    (F[2,3] b0) || (F[0,5] b0);
    (F[0,5] b0) || (F[2,8] b0);
    (F[2,8] b0) || (F[0,5] b0);

    (F[0,5] b0) || (F[2,10] b1);
    (F[2,4] b0) || (F[1,4] b1);