(unnamed)
text/html
<div><div><div>Hi!</div><div> </div><div>I did the SJE testing at Andrey's request.</div><div>To do this, I used the automatic testing tool EET (Equivalent Expression Transformation) [1] with some modifications. </div><div>EET transforms the logical conditions in a query, creating multiple queries waiting for the same number of rows.</div><div> </div><div>In order to make sure that the SJE logic is executed at all, I tried to cover the code with ereports() as much as possible.</div><div>During the testing process, I did not find any inconsistencies in the number of rows returned, as well as other critical problems.</div></div><div> </div><div> </div><div><div>[1] <a href="https://github.com/JZuming/EET" rel="noopener noreferrer" target="_blank">https://github.com/JZuming/EET</a></div><div> </div></div></div><div>-- </div><div>Regards,</div><div>Vardan Pogosyan</div><div> </div>