Re: [cocci] Data processing challenges with usage of not operators

Markus Elfring <[email protected]>
Newsgroups fr.inria.cocci
Message-ID <[email protected]> 
> How reasonable do you find the conversion of such a simple test expression
> into an SmPL disjunction with 15 branches by isomorphism rules?

How does the generated SmPL disjunction look after the software adjustment
“avoid duplicates in disjunctions” (from 2025-11-23)?
https://gitlab.inria.fr/coccinelle/coccinelle/-/commit/5bf4aac3af21712638005c0f4e225fb37c2fd70f
https://github.com/coccinelle/coccinelle/commit/5bf4aac3af21712638005c0f4e225fb37c2fd70f

How long will I wait until I can see a corresponding data processing result myself?

Regards,
Markus
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.