Hello,

I noticed some software development progress for an issue like “SmPL constraints
are broken for type metavariables.”.
https://github.com/coccinelle/coccinelle/issues/32


Now I am checking further test results from a command like the following
for the software combination “Coccinelle 1.0.6-00033-g23cca0a2 (OCaml 4.03.0)”.

spatch.opt -timeout 23 -j 4 --chunksize 1 -sp-file 
~/Projekte/Coccinelle/janitor/list_non-void_and_non-static_functions2.cocci 
-dir ~/geladen/Freeware/Quellen/NetBSD/7.0.2 > 
~/Projekte/Bau/NetBSD/Coccinelle/functions1/API2.txt 2> 
~/Projekte/Bau/NetBSD/Coccinelle/functions1/API2-errors.txt


This script contains also a SmPL rule “initialize:python” which should output
a header line (usually once?).

elfring@Sonne:~/Projekte/Coccinelle/janitor> ack 'function|"data type"|"source 
file"|line|column' ~/Projekte/Bau/NetBSD/Coccinelle/functions1/API2.txt | wc -l
2022


Is it really appropriate that this header appears so often in the shown output 
file?

Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to