feat: cancellation token for ModelStore

2 files changed, 4 insertions, 2 deletions

diff --git a/subprojects/store/src/test/java/tools/refinery/store/statecoding/EquivalenceTest.java b/subprojects/store/src/test/java/tools/refinery/store/statecoding/EquivalenceTest.java
index 3c35849e..f2d2f7b5 100644
--- a/subprojects/store/src/test/java/tools/refinery/store/statecoding/EquivalenceTest.java
+++ b/subprojects/store/src/test/java/tools/refinery/store/statecoding/EquivalenceTest.java
@@ -192,7 +192,8 @@ class EquivalenceTest {
                 ModelStore store = ModelStore.builder()
                                 .symbols(person, age, friend, parents, population)
                                 .with(StateCoderAdapter.builder()
-                                                .stateCodeCalculatorFactory((p1, p2) -> calculator))
+                                                .stateCodeCalculatorFactory((ignoredModel, ignoredInterpretations, ignoredIndividuals) ->
+                                                                calculator))
                                 .build();
 
                 var stateCoder = store.getAdapter(StateCoderStoreAdapter.class);
diff --git a/subprojects/store/src/test/java/tools/refinery/store/statecoding/StateCoderBuildTest.java b/subprojects/store/src/test/java/tools/refinery/store/statecoding/StateCoderBuildTest.java
index 0b738005..0928aa8e 100644
--- a/subprojects/store/src/test/java/tools/refinery/store/statecoding/StateCoderBuildTest.java
+++ b/subprojects/store/src/test/java/tools/refinery/store/statecoding/StateCoderBuildTest.java
@@ -124,7 +124,8 @@ class StateCoderBuildTest {
                 var store = ModelStore.builder()
                                 .symbols(friend)
                                 .with(StateCoderAdapter.builder()
-                                                .stateCodeCalculatorFactory((interpretations, individuals) -> mock))
+                                                .stateCodeCalculatorFactory((ignoredModel, ignoredInterpretations, ignoredIndividuals) ->
+                                                                mock))
                                 .build();
 
                 var model = store.createEmptyModel();