r2u2_cli 4.1.0

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

INPUT
    b0,b1,b2: bool;

FTSPEC
    ! (G[0,5] b0); 
    ! (F[0,5] b0); 
    ! (b0 U[0,5] b1); 
    ! (b0 R[0,5] b1);