On Mon, 17 Aug 2020, Markus Elfring wrote:

> > I will see if it can be fixed.
>
> How will the issue “failing tests - TODO” evolve further?
> https://github.com/coccinelle/coccinelle/commit/f2d7ec9006c89610bd1aab4662fcf100e3e6d469#diff-13ff769079511ec7b5dddef7143b2b93R1

failing_andany.cocci is solved with the fix for the current problem.

>
> How do the comments there fit to undesirable effects for SmPL disjunctions?

The problem has nothing to do with disjunctions.

julia