On Thu, 27 Jun 2019, Markus Elfring wrote:
> > * The complete source file seems to be very challenging for testing
> > the run time characteristics.
>
> How are the chances to clarify the different test results for this source code
> transformation approach with the software combination “Coccinelle
> 1.0.7-00211-geaa13d59-dirty
> (OCaml 4.07.1)”?
>
> elfring@Sonne:~/Projekte/Linux/next-patched> spatch --profile
> ~/Projekte/Coccinelle/janitor/move_error_code_assignment_to_function_end1.cocci
> drivers/scsi/megaraid/megaraid_sas_base.c
> …
> timeout (we abort)
> …
> profiling result
> …
> *full_engine : 200.279202 sec 1 count
> *bigloop : 199.492610 sec 1 count
> *Rule replacement : 199.492608 sec 1 count
> *process_a_ctl_a_env_a_toplevel : 198.390209 sec 1 count
> *mysat : 198.390177 sec 1 count
> *ctl : 198.389955 sec 1 count
> process_a_ctl_a_env_a_toplevel : 1.102299 sec 171 count
> …
Maybe there are too many metavariable bindings. You can try with the
option --debug. Or if that doesn't help with the option
--verbose-ctl-engine.
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
