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.

[1] https://github.com/JZuming/EET