ApplicationModule()=default
Default constructor: Allows late initialisation of modules (e.g.
InvalidityTracer application module.
void mainLoop() override
To be implemented by the user: function called in a separate thread executing the main loop of the mo...
ScalarPushInput< int > printTrace