R2U2 Rust Monitor User Guide

• Building
  • Dependencies
  • Build the R2U2 CLI interface
• Running
  • Prerequisites
    • Use r2u2_cli to compile only
    • Use r2u2_cli to run R2U2
• Embedding
  • Reserving Memory
  • C2PO Specification Input
  • Signal Input
  • Verdict Output
  • Initializing and Running the Monitor
• Output
  • Verdict Stream
• Multi-monitor
• Configuration
  • Bounds
    • Array Extents
    • Memory Sizing
    • Numeric Parameters
  • Features