I’m using version 8.0. How can I get name of the timer?
As I see there is no API for this.
To read timer name I have to made some “magic” cast “(char *) timerHandler” and hope that internal “xTIMER” structure organization will not be changed in future.
Note: My solution => I added function char *pcTimerGetTimerName( TimerHandle_t xTimer ); to timer.c. It would be nice to have that kind of function in official build