>> But with your modified SmPL, we can't find the bug. > > I do not see a difference here.
I have accidentally overlooked to pass the parameter “-D report” to the spatch program. Now I notice also an unexpected and undesirable difference for your test example after the suggested addition of exclusion specifications. > - I wonder also about this situation then. How should the software behaviour be improved finally? Will we need to work with any SmPL script versions in parallel for selected source code analysis configurations? Regards, Markus
