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
Describe the bug
The holds function gets the references for entities entity1 and entity2 based on the first tick. This is problematic when an entity is not present in the first tick but appears in a later tick. In this case, the entity that appeared at a later point is not evaluated at all.
Describe the bug
The
holds
function gets the references for entitiesentity1
andentity2
based on the firsttick
. This is problematic when an entity is not present in the first tick but appears in a latertick
. In this case, the entity that appeared at a later point is not evaluated at all.stars/stars-core/src/main/kotlin/tools/aqua/stars/core/evaluation/PredicateContext.kt
Lines 123 to 142 in 36ebc58
Expected behavior
The entity should be acquired for the first timestamp in which the entity exists.
Additional context
Kai discovered this in his bachelor thesis.
The text was updated successfully, but these errors were encountered: