2015-08-24 16:32 GMT+02:00 Marcus Denker <marcus.denker@inria.fr>:

>
> solves loading Sven test packages. Marcus, can you try on yours?
>

Yes! Very good!

Slice pushed to 16358. We'll see what the tests say.

Why has it started to fail? All the involved code is old.

Thierry

��

�� �� �� �� Marcus