feat: concrete count in partial models

1 files changed, 2 insertions, 5 deletions

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));
         }
 }