Merge remote-tracking branch 'OszkarSemerath/datastructure' into partial-interpretation

1 files changed, 0 insertions, 3 deletions

diff --git a/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTransactionTest.java b/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTransactionTest.java
index 5a484119..3f8c060a 100644
--- a/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTransactionTest.java
+++ b/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTransactionTest.java
@@ -6,7 +6,6 @@
 package tools.refinery.store.query.viatra;
 
 import tools.refinery.viatra.runtime.matchers.backend.QueryEvaluationHint;
-import org.junit.jupiter.api.Disabled;
 import org.junit.jupiter.api.Test;
 import tools.refinery.store.model.ModelStore;
 import tools.refinery.store.query.ModelQueryAdapter;
@@ -283,7 +282,6 @@ class QueryTransactionTest {
                 assertResults(Map.of(Tuple.of(0), false), queryResultSet);
         }
 
-        @Disabled("TODO Fix DiffCursor")
         @Test
         void commitAfterFlushTest() {
                 var store = ModelStore.builder()
@@ -332,7 +330,6 @@ class QueryTransactionTest {
                 ), predicateResultSet);
         }
 
-        @Disabled("TODO Fix DiffCursor")
         @Test
         void commitWithoutFlushTest() {
                 var store = ModelStore.builder()