Comment # 4 on bug 1224149 from Gayane Osipyan

(In reply to Andrei Borzenkov from comment #3)
> (In reply to Gayane Osipyan from comment #2)
> > Hi ,
> > 
> > I have latest microos setup and not able reproduce this issue.
> 
> Yes, they are marked as dontaudit normally, so I used
> 
> semodule -DB
> 
> to catch them.

Thanks for reply.
I did follow all steps you described and still got nothing ,is there something
else need to be done to trigger those AVC's ?