diff options
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.java | 4 |
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 | } |