From caae5494ef22e31eb5f135f7f877b89b7155ce1e Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 15 Nov 2023 23:34:41 +0100 Subject: fix: contains assertions --- .../java/tools/refinery/store/reasoning/scope/PredicateScopeTest.java | 2 ++ 1 file changed, 2 insertions(+) (limited to 'subprojects/store-reasoning-scope/src') diff --git a/subprojects/store-reasoning-scope/src/test/java/tools/refinery/store/reasoning/scope/PredicateScopeTest.java b/subprojects/store-reasoning-scope/src/test/java/tools/refinery/store/reasoning/scope/PredicateScopeTest.java index d21bd12e..a2c56a6b 100644 --- a/subprojects/store-reasoning-scope/src/test/java/tools/refinery/store/reasoning/scope/PredicateScopeTest.java +++ b/subprojects/store-reasoning-scope/src/test/java/tools/refinery/store/reasoning/scope/PredicateScopeTest.java @@ -84,6 +84,8 @@ class PredicateScopeTest { .seed(MultiObjectTranslator.COUNT_SYMBOL, builder -> builder.reducedValue(CardinalityIntervals.ONE)) .seed(ContainmentHierarchyTranslator.CONTAINED_SYMBOL, builder -> builder.reducedValue(TruthValue.UNKNOWN)) + .seed(ContainmentHierarchyTranslator.CONTAINS_SYMBOL, + builder -> builder.reducedValue(TruthValue.UNKNOWN)) .seed(index, builder -> builder.reducedValue(TruthValue.TRUE)) .seed(next, builder -> builder .reducedValue(TruthValue.UNKNOWN) -- cgit v1.2.3-54-g00ecf