You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The method subsumes for label objects does not return an appropriated answer when giving a user-minted privilege.
varp1=newFreshPrivilege();varp2=newFreshPrivilege();varland=p1.asLabel.and(p2.asLabel);// The next instruction should return true but it returns false p1.asLabel.subsumes(land,p2);
However, it works if we write a similar code but using regular labels (and privileges),
var l2 = new Label ("http://bob.com:9090") ;
var land = l2.and(COWL.privileges.asLabel) ;
// The next instruction returns true
l2.subsumes(land,COWL.privileges) ;
The text was updated successfully, but these errors were encountered:
alejandrorusso
changed the title
Subsumes doesn't work when given user-minted privilege
Subsumes doesn't work when given user-minted privileges
Jun 26, 2015
The method
subsumes
for label objects does not return an appropriated answer when giving a user-minted privilege.However, it works if we write a similar code but using regular labels (and privileges),
The text was updated successfully, but these errors were encountered: