Bucla cu test final

Bucla cu test final are in Rodin sintaxa:

executa <expr> atat cat (<expr>)

Prima expresie este instructiunea sau grupul / blocul de instructiuni de repetat. A doua este conditia ca ele sa se execute. Bucla se va 'invarti' atat timp cat conditia este adevarata. ( 1 - adevarat).

Este echivalentul lui do...while ... din C. Nu are echivalent in Pascal.