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

INPUT
    b0,b1: bool;
    i0,i1: int;
    f0,f1: float;

FTSPEC
    (~i0) > 0;
    (i0 & i1) > 0;
    (i0 | i1) > 0;
    (i0 ^ i1) > 0;