aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/logic/src/test/java/tools/refinery/logic/term/cardinalityinterval/CardinalityIntervalsTest.java
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/logic/src/test/java/tools/refinery/logic/term/cardinalityinterval/CardinalityIntervalsTest.java')
-rw-r--r--subprojects/logic/src/test/java/tools/refinery/logic/term/cardinalityinterval/CardinalityIntervalsTest.java4
1 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/logic/src/test/java/tools/refinery/logic/term/cardinalityinterval/CardinalityIntervalsTest.java b/subprojects/logic/src/test/java/tools/refinery/logic/term/cardinalityinterval/CardinalityIntervalsTest.java
index 5441c837..d68df335 100644
--- a/subprojects/logic/src/test/java/tools/refinery/logic/term/cardinalityinterval/CardinalityIntervalsTest.java
+++ b/subprojects/logic/src/test/java/tools/refinery/logic/term/cardinalityinterval/CardinalityIntervalsTest.java
@@ -15,13 +15,13 @@ class CardinalityIntervalsTest {
15 @Test 15 @Test
16 void betweenEmptyTest() { 16 void betweenEmptyTest() {
17 var interval = CardinalityIntervals.between(2, 1); 17 var interval = CardinalityIntervals.between(2, 1);
18 assertThat(interval.isEmpty(), equalTo(true)); 18 assertThat(interval.isError(), equalTo(true));
19 } 19 }
20 20
21 @Test 21 @Test
22 void betweenNegativeUpperBoundTest() { 22 void betweenNegativeUpperBoundTest() {
23 var interval = CardinalityIntervals.between(0, -1); 23 var interval = CardinalityIntervals.between(0, -1);
24 assertThat(interval.upperBound(), equalTo(UpperCardinalities.UNBOUNDED)); 24 assertThat(interval.upperBound(), equalTo(UpperCardinalities.UNBOUNDED));
25 assertThat(interval.isEmpty(), equalTo(false)); 25 assertThat(interval.isError(), equalTo(false));
26 } 26 }
27} 27}