---

8 Debugging facilities ¶

This chapter digs into the various Ironclad-specific debugging features available for the user.

• Corefile and process dumping
• Program tracing