diverge

A program's execution is said to diverge if it does not terminate (end) as expected. If it does yield a value within a finite amount of time without diverging, it converges.