>> I have left out "SECURITY LABEL" which would require a special security
>> label provider. [...]
>
> You can add tests in src/test/modules/dummy_seclabel.
Thanks for the pointer, I have indeed missed these special tests. I'll
have a look.
--
Fabien.