Posted by Jaromir Matas on May 31, 2021; 9:59pm URL: https://forum.world.st/Solving-multiple-termination-bugs-summary-proposal-tp5128285p5130199.html
Hi All,
I've sent an updated version of #teminate integrating Christoph's solution
of BlockCannotReturn recursion problem (in [1]), along with a battery of
tests exploring termination of nested ensure and cascading errors behavior
(Debugger tests are for info and a final version can wait until releasing
Christoph's proposal in [2]).