diff options
Diffstat (limited to 'subprojects/store-query-viatra/src')
-rw-r--r-- | subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTransactionTest.java | 3 |
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 @@ | |||
6 | package tools.refinery.store.query.viatra; | 6 | package tools.refinery.store.query.viatra; |
7 | 7 | ||
8 | import tools.refinery.viatra.runtime.matchers.backend.QueryEvaluationHint; | 8 | import tools.refinery.viatra.runtime.matchers.backend.QueryEvaluationHint; |
9 | import org.junit.jupiter.api.Disabled; | ||
10 | import org.junit.jupiter.api.Test; | 9 | import org.junit.jupiter.api.Test; |
11 | import tools.refinery.store.model.ModelStore; | 10 | import tools.refinery.store.model.ModelStore; |
12 | import tools.refinery.store.query.ModelQueryAdapter; | 11 | import tools.refinery.store.query.ModelQueryAdapter; |
@@ -283,7 +282,6 @@ class QueryTransactionTest { | |||
283 | assertResults(Map.of(Tuple.of(0), false), queryResultSet); | 282 | assertResults(Map.of(Tuple.of(0), false), queryResultSet); |
284 | } | 283 | } |
285 | 284 | ||
286 | @Disabled("TODO Fix DiffCursor") | ||
287 | @Test | 285 | @Test |
288 | void commitAfterFlushTest() { | 286 | void commitAfterFlushTest() { |
289 | var store = ModelStore.builder() | 287 | var store = ModelStore.builder() |
@@ -332,7 +330,6 @@ class QueryTransactionTest { | |||
332 | ), predicateResultSet); | 330 | ), predicateResultSet); |
333 | } | 331 | } |
334 | 332 | ||
335 | @Disabled("TODO Fix DiffCursor") | ||
336 | @Test | 333 | @Test |
337 | void commitWithoutFlushTest() { | 334 | void commitWithoutFlushTest() { |
338 | var store = ModelStore.builder() | 335 | var store = ModelStore.builder() |