Reactis for C User’s Guide V2024

Table of Contents

• 1. Introduction
• 2. Installing Reactis for C
• 3. Getting Started with Reactis for C
• 4. The Reactis for C Top-Level Window
• 5. The Reactis Build File Editor
• 6. The Reactis Harness Editor
• 7. Reactis Coverage Metrics
• 8. Reactis Simulator
• 9. Reactis Tester
• 10. Reactis Validator
• 11. The Reactis Test-Suite Browser
• 12. The Reactis Coverage Report Browser
• 13. Preparing Code for Use with Reactis for C
• 14. Linking with Reactis for Simulink
• 15. Errors Detected by Reactis for C
• 16. The Reactis for C API
• 17. Frequently Asked Questions
• 18. Revision History
• 19. Index