This is an alternative to #144, based on the idea of “current iteration time”. Since iterations are non-blocking and very fast (typically sub-millisecond), we can assume time is constant within each iteration. The global variable now holding this time is a loop invariant.
This is an alternative to #144, based on the idea of “current iteration time”. Since iterations are non-blocking and very fast (typically sub-millisecond), we can assume time is constant within each iteration. The global variable
nowholding this time is a loop invariant.