> Tom Lane
>
> "Simon@2ndquadrant.com" <simon@2ndquadrant.com> writes:
> > This is not a provably correct state machine
>
> I think the discussion ends right there.
Yes...
Negative results are worth documenting too, IMHO.
Best Regards, Simon Riggs
Сайт использует файлы cookie для корректной работы и повышения удобства. Нажимая кнопку «Принять» или продолжая пользоваться сайтом, вы соглашаетесь на их использование в соответствии с Политикой в отношении обработки cookie ООО «ППГ», в том числе на передачу данных из файлов cookie сторонним статистическим и рекламным службам. Вы можете управлять настройками cookie через параметры вашего браузера