On Wed, 6 Jan 2010, Ludovic Courtès wrote:

> Julia Lawall <[email protected]> writes:
> 
> > It means that the score is higher than it was the last time you ran it.  
> > But that doesn't take into account that some new examples have been added 
> > since then.
> 
> OK, but...
> 
> > I will take a look at the reports, but since the tests that are part of 
> > this should be completely portable (there is no python in these tests for 
> > example), if there are any real problems, we should have seen them.
> 
> NixOS packages are built in a chroot where they can only access their
> dependencies (roughly).  They canÿÿt access, for instance, /tmp, $HOME,
> /etc/resolv.conf, etc.  Likewise, thereÿÿs no /lib, /usr, etc.  It could
> cause troubles to the test suite if it relies on such things.
> 
> It also means that the test suite cannot know my previous score.

The score is stored in coccinelle/tests/SCORE_*

I don't think the test suite relies on anything mentioned.  It only 
accesses the files in the tests subdirectory.

Apparently there is a problem due to an isomorphism having changed name: 
unlikely has become likely.  We will fix that for the release.

julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to