1 files changed, 27 insertions, 0 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
new file mode 100644
index 00000000..d68df335
--- /dev/null
+++ b/subprojects/logic/src/test/java/tools/refinery/logic/term/cardinalityinterval/CardinalityIntervalsTest.java
@@ -0,0 +1,27 @@
+/*
+ * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
+ *
+ * SPDX-License-Identifier: EPL-2.0
+ */
+package tools.refinery.logic.term.cardinalityinterval;
+
+import org.junit.jupiter.api.Test;
+import tools.refinery.logic.term.uppercardinality.UpperCardinalities;
+
+import static org.hamcrest.MatcherAssert.assertThat;
+import static org.hamcrest.Matchers.equalTo;
+
+class CardinalityIntervalsTest {
+        @Test
+        void betweenEmptyTest() {
+                var interval = CardinalityIntervals.between(2, 1);
+                assertThat(interval.isError(), equalTo(true));
+        }
+
+        @Test
+        void betweenNegativeUpperBoundTest() {
+                var interval = CardinalityIntervals.between(0, -1);
+                assertThat(interval.upperBound(), equalTo(UpperCardinalities.UNBOUNDED));
+                assertThat(interval.isError(), equalTo(false));
+        }
+}