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.