Re: [Cocci] [PATCH 4/4] coccicheck: add indexing enhancement options

Julia Lawall
2016-06-11T05:18:46Z

On Sat, 11 Jun 2016, Luis R. Rodriguez wrote:

> On Fri, Jun 10, 2016 at 11:51:26PM +0200, Wolfram Sang wrote:
> > > AFAICT coccinelle does not have integration support for id-utils though.
> >
> > I used it just today ;) -- "--use-idutils ./ID"
> >
> > ID was generated with simple 'mkid -s'.
> >
>
> Sweet, testing that now.

It's not as efficient as glimpse because the query language is simpler.
So more filtering has to be done at the ocaml level. But it's probably
fine in most cases.

julia