From d2348a15846ad861fc58b018f50a502a288bfcec Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Fri, 26 May 2023 22:24:40 +0200 Subject: refactor: simplified Dnf parameter directions --- .../java/tools/refinery/store/query/viatra/QueryTest.java | 11 ----------- 1 file changed, 11 deletions(-) (limited to 'subprojects/store-query-viatra/src/test') diff --git a/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTest.java b/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTest.java index 46ce37b4..a9a2f71c 100644 --- a/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTest.java +++ b/subprojects/store-query-viatra/src/test/java/tools/refinery/store/query/viatra/QueryTest.java @@ -23,7 +23,6 @@ import tools.refinery.store.tuple.Tuple; import java.util.List; import java.util.Map; -import static org.junit.jupiter.api.Assertions.assertThrows; import static tools.refinery.store.query.literal.Literals.assume; import static tools.refinery.store.query.literal.Literals.not; import static tools.refinery.store.query.term.int_.IntTerms.constant; @@ -707,14 +706,4 @@ class QueryTest { queryEngine.flushChanges(); assertResults(Map.of(), predicateResultSet); } - - @Test - void alwaysTrueTest() { - var p1 = Variable.of("p1"); - var predicate = Query.builder("AlwaysTrue").parameters(p1).clause().build(); - - var queryBuilder = ViatraModelQueryAdapter.builder(); - - assertThrows(IllegalArgumentException.class, () -> queryBuilder.queries(predicate)); - } } -- cgit v1.2.3-70-g09d2