On Thursday, 14 April 2016 at 08:14:59 UTC, Johannes Pfau wrote:
I assume Nordlöw only cares about the WCET, not 'complete'determinism (if a loop executes 5 or 6 times depending on input data the run time is not deterministic but the maximum is)
Yep, that's what is meant here.