Open klizhentas opened 1 year ago
StringSetMap("approvals", {"access-stage": ("alice", "bob")})
If the name "approvals" is duplicated, Z3 will silently override the list. Generate a unique name and make name optional
TODO: it's easy to make a mistake and have the same name for StringSetMap
If the name "approvals" is duplicated, Z3 will silently override the list. Generate a unique name and make name optional