Hi!
I did the SJE testing at Andrey's request.
To do this, I used the automatic testing tool EET (Equivalent _expression_ Transformation) [1] with some modifications.
EET transforms the logical conditions in a query, creating multiple queries waiting for the same number of rows.
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.
During the testing process, I did not find any inconsistencies in the number of rows returned, as well as other critical problems.
--
Regards,
Vardan Pogosyan
