r2u2_cli-4.1.0

docs.rs

Rust

r2u2_cli 4.1.0

R2U2 CLI: A stream-based runtime monitor command-line interface

Crate
Source
Builds
Feature flags

..
and_future.c2po
and_future.c2po.expect
and_global.c2po
and_global.c2po.expect
and_until.c2po
and_until.c2po.expect
equality.c2po
equality.c2po.expect
future.c2po
future.c2po.expect
global.c2po
global.c2po.expect
negate.c2po
negate.c2po.expect
or_future.c2po
or_future.c2po.expect
or_global.c2po
or_global.c2po.expect
until.c2po
until.c2po.expect

INPUT
    b0,b1,b2: bool;

FTSPEC
    (F[0,5] b0) && (F[2,3] b0);
    (F[2,4] b0) && (F[0,5] b0);