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)