> You can add tests in src/test/modules/dummy_seclabel.
Patch attached to test sec label there, in addition to the other more standard checks in event_trigger.
-- Fabien.