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
tillschallau
changed the title
Add metric that tracks all missing predicates.
Add metric that tracks all missing nodes (all predicated that never evaluated to true).
Jul 8, 2024
dominikmaeckel
changed the title
Add metric that tracks all missing nodes (all predicated that never evaluated to true).
Add metric that tracks all missing nodes (all predicates that never evaluated to true).
Jul 23, 2024
Describe the solution you'd like
The metric should work similarly as the
stars/stars-core/src/main/kotlin/tools/aqua/stars/core/metric/metrics/postEvaluation/MissingPredicateCombinationsPerProjectionMetric.kt
Lines 48 to 56 in 7311c12
metric. Instead of missing predicate combinations, all missing predicates should be tracked.
The text was updated successfully, but these errors were encountered: