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
13
14
15
16

STRUCT
    Test: { m1,m2: bool; };

INPUT
    b0,b1,b2,b3: bool;

DEFINE
    X := {Test(b0,b1),Test(b2,b3)};
    n := 1;

FTSPEC
    foreach(s:X)(s.m1 && s.m2);
    forsome(s:X)(s.m1 && s.m2);
    forexactly(s:X,n)(s.m1 & s.m2);
    foratleast(s:X,n)(s.m1 & s.m2);
    foratmost(s:X,n)(s.m1 & s.m2);