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

..
arithmetic.c2po
arithmetic.c2po.expect
arithmetic_invalid.c2po
arithmetic_invalid.c2po.expect
bitwise.c2po
bitwise.c2po.expect
logic.c2po
logic.c2po.expect
logic.c2po.extops.expect
relational.c2po
relational.c2po.expect
temporal.c2po
temporal.c2po.expect
timestamp.c2po
timestamp.c2po.expect

INPUT
    i0,i1: int;

FTSPEC
    (i0 pow -1) > 0;
    (i0 pow i1) > 0;
    sqrt(1) > 0;
    sqrt(i1) > 0;