From 6a25ba145844c79d3507f8eabdbed854be2b8097 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 25 Jul 2023 16:06:36 +0200 Subject: feat: concrete count in partial models --- .../store/representation/cardinality/UpperCardinalitiesTest.java | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'subprojects/store/src/test') diff --git a/subprojects/store/src/test/java/tools/refinery/store/representation/cardinality/UpperCardinalitiesTest.java b/subprojects/store/src/test/java/tools/refinery/store/representation/cardinality/UpperCardinalitiesTest.java index e61f7b36..e403eec2 100644 --- a/subprojects/store/src/test/java/tools/refinery/store/representation/cardinality/UpperCardinalitiesTest.java +++ b/subprojects/store/src/test/java/tools/refinery/store/representation/cardinality/UpperCardinalitiesTest.java @@ -8,9 +8,6 @@ package tools.refinery.store.representation.cardinality; import org.junit.jupiter.api.Test; import org.junit.jupiter.params.ParameterizedTest; import org.junit.jupiter.params.provider.ValueSource; -import tools.refinery.store.representation.cardinality.FiniteUpperCardinality; -import tools.refinery.store.representation.cardinality.UnboundedUpperCardinality; -import tools.refinery.store.representation.cardinality.UpperCardinalities; import static org.hamcrest.MatcherAssert.assertThat; import static org.hamcrest.Matchers.equalTo; @@ -20,14 +17,14 @@ class UpperCardinalitiesTest { @ParameterizedTest @ValueSource(ints = {0, 1, 255, 256, 1000, Integer.MAX_VALUE}) void valueOfBoundedTest(int value) { - var upperCardinality = UpperCardinalities.valueOf(value); + var upperCardinality = UpperCardinalities.atMost(value); assertThat(upperCardinality, instanceOf(FiniteUpperCardinality.class)); assertThat(((FiniteUpperCardinality) upperCardinality).finiteUpperBound(), equalTo(value)); } @Test void valueOfUnboundedTest() { - var upperCardinality = UpperCardinalities.valueOf(-1); + var upperCardinality = UpperCardinalities.atMost(-1); assertThat(upperCardinality, instanceOf(UnboundedUpperCardinality.class)); } } -- cgit v1.2.3-70-g09d2