>> Can the five issues on which I stumbled during the source code analysis be >> fixed >> anyhow (eventually without the addtion of "--no-…" command options)? > > For the timeouts, no they cannot.
I am surprised by this answer. - How many processing hours will the desired analysis need for completion with these "special" three source files? - Can the software situation be improved for the other two issues? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
