Testing

This section documents the testing and verification systems available in X-HEEP.

• Automatic testing
  • Simulation script
  • Github CIs
  • Compare mcu-gen runs
• VerifHeep
  • Introduction
  • Methods description