search

opalj / opal

https://www.opal-project.de
Other
51 stars 27 forks source link

Don't override existing domain requirements #137

Closed errt closed 1 year ago

errt commented 1 year ago

Domain requirements should be added to existing ones, not forced.

Also, forcing the l1 domain prevents other code from requesting other domains, such as the l2 ones. Thus, select only the individual requirements, CFG and DefUse information.