diff options
author | Kristóf Marussy <kristof@marussy.com> | 2024-03-10 02:11:15 +0100 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2024-04-07 14:58:40 +0200 |
commit | a636a86accf0ed00d0700e04ac0e1ce4f8cadf64 (patch) | |
tree | c11c8df3dca1653643b3941de19e5dbb0cef85b1 /subprojects/logic/src/test | |
parent | chore(deps): bump dependencies (diff) | |
download | refinery-a636a86accf0ed00d0700e04ac0e1ce4f8cadf64.tar.gz refinery-a636a86accf0ed00d0700e04ac0e1ce4f8cadf64.tar.zst refinery-a636a86accf0ed00d0700e04ac0e1ce4f8cadf64.zip |
refactor(logic): abstract domain interface
Require all abstract domain elements to implement the AbstractValue interface.
Diffstat (limited to 'subprojects/logic/src/test')
-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 | } |