Reseting tic/toc in scheduler_start()
In scheduler_start(), we set the tic and toc of each task to 0. Do we really need to do do this for all tasks or could we do it for the active tasks only?
Edited by Matthieu Schaller
In scheduler_start(), we set the tic and toc of each task to 0. Do we really need to do do this for all tasks or could we do it for the active tasks only?