C Interface

This section documents the interface that must be implemented for a debugger to be compatible with this framework.

The interface is written in C and can be implemented with any compatible language. We provide an example implementation in C++ based on the DD simulation backend from MQT Core.