added exec counters to scheduler
@sponce fyi.
I did not quite manage to put this into info()
, because Counter::print
won't accept a MsgStream&
but only std::ostream
.
Is std::cout
okay here or can I easily print this in info()
and i just missed how to?
Edited by Marco Cattaneo