On Mon 2018-04-16 13:33:55, Miroslav Benes wrote: > On Fri, 13 Apr 2018, Joe Lawrence wrote: > > Thanks for reviewing. I'll hold off on posting v4 until Petr (and > > others) get a chance to comment. Perhaps there are other tests that > > would be helpful?
> I think it would be useful to have tests for a stack checking and a > consistency. Nicolai has written some lately for our internal testing, but > it would take some time to transform them appropriately, I think. The future of the stack handling is not clear at the moment. We should wait how the discussion goes before spending time on test cases for the current behavior. Best Regards, Petr