r2u2_cli 4.1.0

R2U2 CLI: A stream-based runtime monitor command-line interface
1
2
3
4
5
6
7
8
9
# C2PO User Guide
```{toctree}
language
signal_mapping
mltl_std
optimizations
outputs
options
```