opal icon indicating copy to clipboard operation
opal copied to clipboard

Triggered analyses not executed when running multiple computations

Open errt opened this issue 2 years ago • 0 comments

Triggered analyses are executed whenever the first property is computed for an entity/propertykey pair. If properties are pre-set in the property store, triggered analyses are also executed on the respective entities. However, triggered analyses are currently not executed when there are properties in the property store from a previous phase of analysis execution (i.e., when a fixed point has been reached and new analyses are started thereafter). This is inconsistent, surprising, and probably a bad idea in general.

errt avatar Apr 26 '23 10:04 errt