R2U2 C Monitor User Guide

• Building
  • Dependencies
  • The Makefile
    • Common Build Targets
  • Building Without the Makefile
• Running
  • Prerequisites
  • With a Signal File
  • Using External Signal Sources
• Embedding
  • Reserving Memory
  • Signal Input
  • Verdict Output
  • Initializing and Running the Monitor
  • Platform Constraints and Compatibility
• Output
  • Verdict Stream
  • Results Callback
  • Logging
    • Debug
    • Trace
• Multi-monitor
• Configuration
  • Bounds
    • Array Extents
    • Memory Arena Sizing
    • Numeric Parameters
  • Feature Flags
    • Logging Output
    • Input Handling Features
    • Atomic-Checker Features
    • Temporal Logic Features