r2u2_cli 4.1.0

R2U2 CLI: A stream-based runtime monitor command-line interface
1
2
3
4
5
6

INPUT
    b0,b1: bool;

FTSPEC
    (b0 && b1);
    (b0 && b1);