refactor: simplified Dnf parameter directions

1 files changed, 0 insertions, 11 deletions

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