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;

DEFINE
    n := 1;

FTSPEC
    foreach(b:{b0,b1,b2})(b);
    forsome(b:{b0,b1,b2})(b);
    forexactly(b:{b0,b1,b2},n)(b);
    foratleast(b:{b0,b1,b2},n)(b);
    foratmost(b:{b0,b1,b2},n)(b);