diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2023-11-15 23:34:41 +0100 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2023-11-17 14:53:26 +0100 |
| commit | caae5494ef22e31eb5f135f7f877b89b7155ce1e (patch) | |
| tree | 4e9c259ca2ca23013267fd676cd179ca4abee1bb /subprojects/store-reasoning-scope | |
| parent | feat(language): opposite reference validation (diff) | |
| download | refinery-caae5494ef22e31eb5f135f7f877b89b7155ce1e.tar.gz refinery-caae5494ef22e31eb5f135f7f877b89b7155ce1e.tar.zst refinery-caae5494ef22e31eb5f135f7f877b89b7155ce1e.zip | |
fix: contains assertions
Diffstat (limited to 'subprojects/store-reasoning-scope')
| -rw-r--r-- | subprojects/store-reasoning-scope/src/test/java/tools/refinery/store/reasoning/scope/PredicateScopeTest.java | 2 |
1 files changed, 2 insertions, 0 deletions
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 { | |||
| 84 | .seed(MultiObjectTranslator.COUNT_SYMBOL, builder -> builder.reducedValue(CardinalityIntervals.ONE)) | 84 | .seed(MultiObjectTranslator.COUNT_SYMBOL, builder -> builder.reducedValue(CardinalityIntervals.ONE)) |
| 85 | .seed(ContainmentHierarchyTranslator.CONTAINED_SYMBOL, | 85 | .seed(ContainmentHierarchyTranslator.CONTAINED_SYMBOL, |
| 86 | builder -> builder.reducedValue(TruthValue.UNKNOWN)) | 86 | builder -> builder.reducedValue(TruthValue.UNKNOWN)) |
| 87 | .seed(ContainmentHierarchyTranslator.CONTAINS_SYMBOL, | ||
| 88 | builder -> builder.reducedValue(TruthValue.UNKNOWN)) | ||
| 87 | .seed(index, builder -> builder.reducedValue(TruthValue.TRUE)) | 89 | .seed(index, builder -> builder.reducedValue(TruthValue.TRUE)) |
| 88 | .seed(next, builder -> builder | 90 | .seed(next, builder -> builder |
| 89 | .reducedValue(TruthValue.UNKNOWN) | 91 | .reducedValue(TruthValue.UNKNOWN) |