aboutsummaryrefslogtreecommitdiffstats
path: root/store/src/test/java
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2021-10-05 00:36:47 +0200
committerLibravatar Kristóf Marussy <kristof@marussy.com>2021-10-05 00:36:47 +0200
commitc3e27396c62f191b4343df151e5a86bfa63a32f3 (patch)
tree4f698c9ba0320a5c740c53877c3f75c00240dca4 /store/src/test/java
parentfix(web): improve accessibility (diff)
downloadrefinery-c3e27396c62f191b4343df151e5a86bfa63a32f3.tar.gz
refinery-c3e27396c62f191b4343df151e5a86bfa63a32f3.tar.zst
refinery-c3e27396c62f191b4343df151e5a86bfa63a32f3.zip
chore: change package name
Diffstat (limited to 'store/src/test/java')
-rw-r--r--store/src/test/java/tools/refinery/data/map/tests/fuzz/CommitFuzzTest.java (renamed from store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/CommitFuzzTest.java)15
-rw-r--r--store/src/test/java/tools/refinery/data/map/tests/fuzz/ContentEqualsFuzzTest.java (renamed from store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/ContentEqualsFuzzTest.java)19
-rw-r--r--store/src/test/java/tools/refinery/data/map/tests/fuzz/DiffCursorFuzzTest.java (renamed from store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/DiffCursorFuzzTest.java)17
-rw-r--r--store/src/test/java/tools/refinery/data/map/tests/fuzz/MultiThreadFuzzTest.java (renamed from store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/MultiThreadFuzzTest.java)13
-rw-r--r--store/src/test/java/tools/refinery/data/map/tests/fuzz/MultiThreadTestRunnable.java (renamed from store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/MultiThreadTestRunnable.java)8
-rw-r--r--store/src/test/java/tools/refinery/data/map/tests/fuzz/MutableFuzzTest.java (renamed from store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/MutableFuzzTest.java)15
-rw-r--r--store/src/test/java/tools/refinery/data/map/tests/fuzz/MutableImmutableCompareFuzzTest.java (renamed from store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/MutableImmutableCompareFuzzTest.java)15
-rw-r--r--store/src/test/java/tools/refinery/data/map/tests/fuzz/RestoreFuzzTest.java (renamed from store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/RestoreFuzzTest.java)15
-rw-r--r--store/src/test/java/tools/refinery/data/map/tests/fuzz/SharedStoreFuzzTest.java (renamed from store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/SharedStoreFuzzTest.java)15
-rw-r--r--store/src/test/java/tools/refinery/data/map/tests/fuzz/utils/FuzzTestUtils.java (renamed from store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/utils/FuzzTestUtils.java)2
-rw-r--r--store/src/test/java/tools/refinery/data/map/tests/fuzz/utils/FuzzTestUtilsTest.java (renamed from store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/utils/FuzzTestUtilsTest.java)2
-rw-r--r--store/src/test/java/tools/refinery/data/map/tests/utils/MapTestEnvironment.java (renamed from store/src/test/java/org/eclipse/viatra/solver/data/map/tests/utils/MapTestEnvironment.java)10
-rw-r--r--store/src/test/java/tools/refinery/data/model/hashTests/HashEfficiencyTest.java (renamed from store/src/test/java/org/eclipse/viatra/solver/data/model/hashTests/HashEfficiencyTest.java)11
-rw-r--r--store/src/test/java/tools/refinery/data/model/tests/ModelTest.java (renamed from store/src/test/java/org/eclipse/viatra/solver/data/model/tests/ModelTest.java)13
-rw-r--r--store/src/test/java/tools/refinery/data/query/test/QueryTest.java (renamed from store/src/test/java/org/eclipse/viatra/solver/data/query/test/QueryTest.java)27
-rw-r--r--store/src/test/java/tools/refinery/data/util/CollectionsUtilTests.java (renamed from store/src/test/java/org/eclipse/viatra/solver/data/util/CollectionsUtilTests.java)9
16 files changed, 109 insertions, 97 deletions
diff --git a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/CommitFuzzTest.java b/store/src/test/java/tools/refinery/data/map/tests/fuzz/CommitFuzzTest.java
index e160df2b..d744a79d 100644
--- a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/CommitFuzzTest.java
+++ b/store/src/test/java/tools/refinery/data/map/tests/fuzz/CommitFuzzTest.java
@@ -1,22 +1,23 @@
1package org.eclipse.viatra.solver.data.map.tests.fuzz; 1package tools.refinery.data.map.tests.fuzz;
2 2
3import static org.junit.jupiter.api.Assertions.fail; 3import static org.junit.jupiter.api.Assertions.fail;
4 4
5import java.util.Random; 5import java.util.Random;
6import java.util.stream.Stream; 6import java.util.stream.Stream;
7 7
8import org.eclipse.viatra.solver.data.map.ContinousHashProvider;
9import org.eclipse.viatra.solver.data.map.VersionedMapStore;
10import org.eclipse.viatra.solver.data.map.VersionedMapStoreImpl;
11import org.eclipse.viatra.solver.data.map.internal.VersionedMapImpl;
12import org.eclipse.viatra.solver.data.map.tests.fuzz.utils.FuzzTestUtils;
13import org.eclipse.viatra.solver.data.map.tests.utils.MapTestEnvironment;
14import org.junit.jupiter.api.Tag; 8import org.junit.jupiter.api.Tag;
15import org.junit.jupiter.api.Timeout; 9import org.junit.jupiter.api.Timeout;
16import org.junit.jupiter.params.ParameterizedTest; 10import org.junit.jupiter.params.ParameterizedTest;
17import org.junit.jupiter.params.provider.Arguments; 11import org.junit.jupiter.params.provider.Arguments;
18import org.junit.jupiter.params.provider.MethodSource; 12import org.junit.jupiter.params.provider.MethodSource;
19 13
14import tools.refinery.data.map.ContinousHashProvider;
15import tools.refinery.data.map.VersionedMapStore;
16import tools.refinery.data.map.VersionedMapStoreImpl;
17import tools.refinery.data.map.internal.VersionedMapImpl;
18import tools.refinery.data.map.tests.fuzz.utils.FuzzTestUtils;
19import tools.refinery.data.map.tests.utils.MapTestEnvironment;
20
20class CommitFuzzTest { 21class CommitFuzzTest {
21 private void runFuzzTest(String scenario, int seed, int steps, int maxKey, int maxValue, int commitFrequency, 22 private void runFuzzTest(String scenario, int seed, int steps, int maxKey, int maxValue, int commitFrequency,
22 boolean evilHash) { 23 boolean evilHash) {
diff --git a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/ContentEqualsFuzzTest.java b/store/src/test/java/tools/refinery/data/map/tests/fuzz/ContentEqualsFuzzTest.java
index 5004c152..1f6f9609 100644
--- a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/ContentEqualsFuzzTest.java
+++ b/store/src/test/java/tools/refinery/data/map/tests/fuzz/ContentEqualsFuzzTest.java
@@ -1,4 +1,4 @@
1package org.eclipse.viatra.solver.data.map.tests.fuzz; 1package tools.refinery.data.map.tests.fuzz;
2 2
3import static org.junit.jupiter.api.Assertions.assertEquals; 3import static org.junit.jupiter.api.Assertions.assertEquals;
4import static org.junit.jupiter.api.Assertions.fail; 4import static org.junit.jupiter.api.Assertions.fail;
@@ -10,20 +10,21 @@ import java.util.List;
10import java.util.Random; 10import java.util.Random;
11import java.util.stream.Stream; 11import java.util.stream.Stream;
12 12
13import org.eclipse.viatra.solver.data.map.ContinousHashProvider;
14import org.eclipse.viatra.solver.data.map.Cursor;
15import org.eclipse.viatra.solver.data.map.VersionedMap;
16import org.eclipse.viatra.solver.data.map.VersionedMapStore;
17import org.eclipse.viatra.solver.data.map.VersionedMapStoreImpl;
18import org.eclipse.viatra.solver.data.map.internal.VersionedMapImpl;
19import org.eclipse.viatra.solver.data.map.tests.fuzz.utils.FuzzTestUtils;
20import org.eclipse.viatra.solver.data.map.tests.utils.MapTestEnvironment;
21import org.junit.jupiter.api.Tag; 13import org.junit.jupiter.api.Tag;
22import org.junit.jupiter.api.Timeout; 14import org.junit.jupiter.api.Timeout;
23import org.junit.jupiter.params.ParameterizedTest; 15import org.junit.jupiter.params.ParameterizedTest;
24import org.junit.jupiter.params.provider.Arguments; 16import org.junit.jupiter.params.provider.Arguments;
25import org.junit.jupiter.params.provider.MethodSource; 17import org.junit.jupiter.params.provider.MethodSource;
26 18
19import tools.refinery.data.map.ContinousHashProvider;
20import tools.refinery.data.map.Cursor;
21import tools.refinery.data.map.VersionedMap;
22import tools.refinery.data.map.VersionedMapStore;
23import tools.refinery.data.map.VersionedMapStoreImpl;
24import tools.refinery.data.map.internal.VersionedMapImpl;
25import tools.refinery.data.map.tests.fuzz.utils.FuzzTestUtils;
26import tools.refinery.data.map.tests.utils.MapTestEnvironment;
27
27class ContentEqualsFuzzTest { 28class ContentEqualsFuzzTest {
28 private void runFuzzTest(String scenario, int seed, int steps, int maxKey, int maxValue, int commitFrequency, 29 private void runFuzzTest(String scenario, int seed, int steps, int maxKey, int maxValue, int commitFrequency,
29 boolean evilHash) { 30 boolean evilHash) {
diff --git a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/DiffCursorFuzzTest.java b/store/src/test/java/tools/refinery/data/map/tests/fuzz/DiffCursorFuzzTest.java
index 4b79a98a..fd663a7c 100644
--- a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/DiffCursorFuzzTest.java
+++ b/store/src/test/java/tools/refinery/data/map/tests/fuzz/DiffCursorFuzzTest.java
@@ -1,23 +1,24 @@
1package org.eclipse.viatra.solver.data.map.tests.fuzz; 1package tools.refinery.data.map.tests.fuzz;
2 2
3import static org.junit.jupiter.api.Assertions.fail; 3import static org.junit.jupiter.api.Assertions.fail;
4 4
5import java.util.Random; 5import java.util.Random;
6import java.util.stream.Stream; 6import java.util.stream.Stream;
7 7
8import org.eclipse.viatra.solver.data.map.ContinousHashProvider;
9import org.eclipse.viatra.solver.data.map.DiffCursor;
10import org.eclipse.viatra.solver.data.map.VersionedMapStore;
11import org.eclipse.viatra.solver.data.map.VersionedMapStoreImpl;
12import org.eclipse.viatra.solver.data.map.internal.VersionedMapImpl;
13import org.eclipse.viatra.solver.data.map.tests.fuzz.utils.FuzzTestUtils;
14import org.eclipse.viatra.solver.data.map.tests.utils.MapTestEnvironment;
15import org.junit.jupiter.api.Tag; 8import org.junit.jupiter.api.Tag;
16import org.junit.jupiter.api.Timeout; 9import org.junit.jupiter.api.Timeout;
17import org.junit.jupiter.params.ParameterizedTest; 10import org.junit.jupiter.params.ParameterizedTest;
18import org.junit.jupiter.params.provider.Arguments; 11import org.junit.jupiter.params.provider.Arguments;
19import org.junit.jupiter.params.provider.MethodSource; 12import org.junit.jupiter.params.provider.MethodSource;
20 13
14import tools.refinery.data.map.ContinousHashProvider;
15import tools.refinery.data.map.DiffCursor;
16import tools.refinery.data.map.VersionedMapStore;
17import tools.refinery.data.map.VersionedMapStoreImpl;
18import tools.refinery.data.map.internal.VersionedMapImpl;
19import tools.refinery.data.map.tests.fuzz.utils.FuzzTestUtils;
20import tools.refinery.data.map.tests.utils.MapTestEnvironment;
21
21class DiffCursorFuzzTest { 22class DiffCursorFuzzTest {
22 private void runFuzzTest(String scenario, int seed, int steps, int maxKey, int maxValue, int commitFrequency, 23 private void runFuzzTest(String scenario, int seed, int steps, int maxKey, int maxValue, int commitFrequency,
23 boolean evilHash) { 24 boolean evilHash) {
diff --git a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/MultiThreadFuzzTest.java b/store/src/test/java/tools/refinery/data/map/tests/fuzz/MultiThreadFuzzTest.java
index c3a3e8ea..e6af13bf 100644
--- a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/MultiThreadFuzzTest.java
+++ b/store/src/test/java/tools/refinery/data/map/tests/fuzz/MultiThreadFuzzTest.java
@@ -1,4 +1,4 @@
1package org.eclipse.viatra.solver.data.map.tests.fuzz; 1package tools.refinery.data.map.tests.fuzz;
2 2
3import static org.junit.jupiter.api.Assertions.assertEquals; 3import static org.junit.jupiter.api.Assertions.assertEquals;
4import static org.junit.jupiter.api.Assertions.fail; 4import static org.junit.jupiter.api.Assertions.fail;
@@ -8,17 +8,18 @@ import java.util.LinkedList;
8import java.util.List; 8import java.util.List;
9import java.util.stream.Stream; 9import java.util.stream.Stream;
10 10
11import org.eclipse.viatra.solver.data.map.ContinousHashProvider;
12import org.eclipse.viatra.solver.data.map.VersionedMapStore;
13import org.eclipse.viatra.solver.data.map.VersionedMapStoreImpl;
14import org.eclipse.viatra.solver.data.map.tests.fuzz.utils.FuzzTestUtils;
15import org.eclipse.viatra.solver.data.map.tests.utils.MapTestEnvironment;
16import org.junit.jupiter.api.Tag; 11import org.junit.jupiter.api.Tag;
17import org.junit.jupiter.api.Timeout; 12import org.junit.jupiter.api.Timeout;
18import org.junit.jupiter.params.ParameterizedTest; 13import org.junit.jupiter.params.ParameterizedTest;
19import org.junit.jupiter.params.provider.Arguments; 14import org.junit.jupiter.params.provider.Arguments;
20import org.junit.jupiter.params.provider.MethodSource; 15import org.junit.jupiter.params.provider.MethodSource;
21 16
17import tools.refinery.data.map.ContinousHashProvider;
18import tools.refinery.data.map.VersionedMapStore;
19import tools.refinery.data.map.VersionedMapStoreImpl;
20import tools.refinery.data.map.tests.fuzz.utils.FuzzTestUtils;
21import tools.refinery.data.map.tests.utils.MapTestEnvironment;
22
22class MultiThreadFuzzTest { 23class MultiThreadFuzzTest {
23 public static final int noThreads = 32; 24 public static final int noThreads = 32;
24 25
diff --git a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/MultiThreadTestRunnable.java b/store/src/test/java/tools/refinery/data/map/tests/fuzz/MultiThreadTestRunnable.java
index a18298a2..922178c6 100644
--- a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/MultiThreadTestRunnable.java
+++ b/store/src/test/java/tools/refinery/data/map/tests/fuzz/MultiThreadTestRunnable.java
@@ -1,4 +1,4 @@
1package org.eclipse.viatra.solver.data.map.tests.fuzz; 1package tools.refinery.data.map.tests.fuzz;
2 2
3import java.util.ArrayList; 3import java.util.ArrayList;
4import java.util.Collections; 4import java.util.Collections;
@@ -8,9 +8,9 @@ import java.util.List;
8import java.util.Map; 8import java.util.Map;
9import java.util.Random; 9import java.util.Random;
10 10
11import org.eclipse.viatra.solver.data.map.VersionedMapStore; 11import tools.refinery.data.map.VersionedMapStore;
12import org.eclipse.viatra.solver.data.map.internal.VersionedMapImpl; 12import tools.refinery.data.map.internal.VersionedMapImpl;
13import org.eclipse.viatra.solver.data.map.tests.utils.MapTestEnvironment; 13import tools.refinery.data.map.tests.utils.MapTestEnvironment;
14 14
15public class MultiThreadTestRunnable implements Runnable { 15public class MultiThreadTestRunnable implements Runnable {
16 String scenario; 16 String scenario;
diff --git a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/MutableFuzzTest.java b/store/src/test/java/tools/refinery/data/map/tests/fuzz/MutableFuzzTest.java
index 2d589dc9..a16cb8f5 100644
--- a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/MutableFuzzTest.java
+++ b/store/src/test/java/tools/refinery/data/map/tests/fuzz/MutableFuzzTest.java
@@ -1,22 +1,23 @@
1package org.eclipse.viatra.solver.data.map.tests.fuzz; 1package tools.refinery.data.map.tests.fuzz;
2 2
3import static org.junit.jupiter.api.Assertions.fail; 3import static org.junit.jupiter.api.Assertions.fail;
4 4
5import java.util.Random; 5import java.util.Random;
6import java.util.stream.Stream; 6import java.util.stream.Stream;
7 7
8import org.eclipse.viatra.solver.data.map.ContinousHashProvider;
9import org.eclipse.viatra.solver.data.map.VersionedMapStore;
10import org.eclipse.viatra.solver.data.map.VersionedMapStoreImpl;
11import org.eclipse.viatra.solver.data.map.internal.VersionedMapImpl;
12import org.eclipse.viatra.solver.data.map.tests.fuzz.utils.FuzzTestUtils;
13import org.eclipse.viatra.solver.data.map.tests.utils.MapTestEnvironment;
14import org.junit.jupiter.api.Tag; 8import org.junit.jupiter.api.Tag;
15import org.junit.jupiter.api.Timeout; 9import org.junit.jupiter.api.Timeout;
16import org.junit.jupiter.params.ParameterizedTest; 10import org.junit.jupiter.params.ParameterizedTest;
17import org.junit.jupiter.params.provider.Arguments; 11import org.junit.jupiter.params.provider.Arguments;
18import org.junit.jupiter.params.provider.MethodSource; 12import org.junit.jupiter.params.provider.MethodSource;
19 13
14import tools.refinery.data.map.ContinousHashProvider;
15import tools.refinery.data.map.VersionedMapStore;
16import tools.refinery.data.map.VersionedMapStoreImpl;
17import tools.refinery.data.map.internal.VersionedMapImpl;
18import tools.refinery.data.map.tests.fuzz.utils.FuzzTestUtils;
19import tools.refinery.data.map.tests.utils.MapTestEnvironment;
20
20class MutableFuzzTest { 21class MutableFuzzTest {
21 private void runFuzzTest(String scenario, int seed, int steps, int maxKey, int maxValue, boolean evilHash) { 22 private void runFuzzTest(String scenario, int seed, int steps, int maxKey, int maxValue, boolean evilHash) {
22 String[] values = MapTestEnvironment.prepareValues(maxValue); 23 String[] values = MapTestEnvironment.prepareValues(maxValue);
diff --git a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/MutableImmutableCompareFuzzTest.java b/store/src/test/java/tools/refinery/data/map/tests/fuzz/MutableImmutableCompareFuzzTest.java
index cc2abfe4..45308892 100644
--- a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/MutableImmutableCompareFuzzTest.java
+++ b/store/src/test/java/tools/refinery/data/map/tests/fuzz/MutableImmutableCompareFuzzTest.java
@@ -1,22 +1,23 @@
1package org.eclipse.viatra.solver.data.map.tests.fuzz; 1package tools.refinery.data.map.tests.fuzz;
2 2
3import static org.junit.jupiter.api.Assertions.fail; 3import static org.junit.jupiter.api.Assertions.fail;
4 4
5import java.util.Random; 5import java.util.Random;
6import java.util.stream.Stream; 6import java.util.stream.Stream;
7 7
8import org.eclipse.viatra.solver.data.map.ContinousHashProvider;
9import org.eclipse.viatra.solver.data.map.VersionedMapStore;
10import org.eclipse.viatra.solver.data.map.VersionedMapStoreImpl;
11import org.eclipse.viatra.solver.data.map.internal.VersionedMapImpl;
12import org.eclipse.viatra.solver.data.map.tests.fuzz.utils.FuzzTestUtils;
13import org.eclipse.viatra.solver.data.map.tests.utils.MapTestEnvironment;
14import org.junit.jupiter.api.Tag; 8import org.junit.jupiter.api.Tag;
15import org.junit.jupiter.api.Timeout; 9import org.junit.jupiter.api.Timeout;
16import org.junit.jupiter.params.ParameterizedTest; 10import org.junit.jupiter.params.ParameterizedTest;
17import org.junit.jupiter.params.provider.Arguments; 11import org.junit.jupiter.params.provider.Arguments;
18import org.junit.jupiter.params.provider.MethodSource; 12import org.junit.jupiter.params.provider.MethodSource;
19 13
14import tools.refinery.data.map.ContinousHashProvider;
15import tools.refinery.data.map.VersionedMapStore;
16import tools.refinery.data.map.VersionedMapStoreImpl;
17import tools.refinery.data.map.internal.VersionedMapImpl;
18import tools.refinery.data.map.tests.fuzz.utils.FuzzTestUtils;
19import tools.refinery.data.map.tests.utils.MapTestEnvironment;
20
20class MutableImmutableCompareFuzzTest { 21class MutableImmutableCompareFuzzTest {
21 private void runFuzzTest(String scenario, int seed, int steps, int maxKey, int maxValue, int commitFrequency, 22 private void runFuzzTest(String scenario, int seed, int steps, int maxKey, int maxValue, int commitFrequency,
22 boolean evilHash) { 23 boolean evilHash) {
diff --git a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/RestoreFuzzTest.java b/store/src/test/java/tools/refinery/data/map/tests/fuzz/RestoreFuzzTest.java
index 7d9f5372..1b8b38c4 100644
--- a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/RestoreFuzzTest.java
+++ b/store/src/test/java/tools/refinery/data/map/tests/fuzz/RestoreFuzzTest.java
@@ -1,4 +1,4 @@
1package org.eclipse.viatra.solver.data.map.tests.fuzz; 1package tools.refinery.data.map.tests.fuzz;
2 2
3import static org.junit.jupiter.api.Assertions.fail; 3import static org.junit.jupiter.api.Assertions.fail;
4 4
@@ -7,18 +7,19 @@ import java.util.Map;
7import java.util.Random; 7import java.util.Random;
8import java.util.stream.Stream; 8import java.util.stream.Stream;
9 9
10import org.eclipse.viatra.solver.data.map.ContinousHashProvider;
11import org.eclipse.viatra.solver.data.map.VersionedMapStore;
12import org.eclipse.viatra.solver.data.map.VersionedMapStoreImpl;
13import org.eclipse.viatra.solver.data.map.internal.VersionedMapImpl;
14import org.eclipse.viatra.solver.data.map.tests.fuzz.utils.FuzzTestUtils;
15import org.eclipse.viatra.solver.data.map.tests.utils.MapTestEnvironment;
16import org.junit.jupiter.api.Tag; 10import org.junit.jupiter.api.Tag;
17import org.junit.jupiter.api.Timeout; 11import org.junit.jupiter.api.Timeout;
18import org.junit.jupiter.params.ParameterizedTest; 12import org.junit.jupiter.params.ParameterizedTest;
19import org.junit.jupiter.params.provider.Arguments; 13import org.junit.jupiter.params.provider.Arguments;
20import org.junit.jupiter.params.provider.MethodSource; 14import org.junit.jupiter.params.provider.MethodSource;
21 15
16import tools.refinery.data.map.ContinousHashProvider;
17import tools.refinery.data.map.VersionedMapStore;
18import tools.refinery.data.map.VersionedMapStoreImpl;
19import tools.refinery.data.map.internal.VersionedMapImpl;
20import tools.refinery.data.map.tests.fuzz.utils.FuzzTestUtils;
21import tools.refinery.data.map.tests.utils.MapTestEnvironment;
22
22class RestoreFuzzTest { 23class RestoreFuzzTest {
23 private void runFuzzTest(String scenario, int seed, int steps, int maxKey, int maxValue, int commitFrequency, 24 private void runFuzzTest(String scenario, int seed, int steps, int maxKey, int maxValue, int commitFrequency,
24 boolean evilHash) { 25 boolean evilHash) {
diff --git a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/SharedStoreFuzzTest.java b/store/src/test/java/tools/refinery/data/map/tests/fuzz/SharedStoreFuzzTest.java
index 800308b4..1703a732 100644
--- a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/SharedStoreFuzzTest.java
+++ b/store/src/test/java/tools/refinery/data/map/tests/fuzz/SharedStoreFuzzTest.java
@@ -1,4 +1,4 @@
1package org.eclipse.viatra.solver.data.map.tests.fuzz; 1package tools.refinery.data.map.tests.fuzz;
2 2
3import java.util.HashMap; 3import java.util.HashMap;
4import java.util.LinkedList; 4import java.util.LinkedList;
@@ -7,18 +7,19 @@ import java.util.Map;
7import java.util.Random; 7import java.util.Random;
8import java.util.stream.Stream; 8import java.util.stream.Stream;
9 9
10import org.eclipse.viatra.solver.data.map.ContinousHashProvider;
11import org.eclipse.viatra.solver.data.map.VersionedMapStore;
12import org.eclipse.viatra.solver.data.map.VersionedMapStoreImpl;
13import org.eclipse.viatra.solver.data.map.internal.VersionedMapImpl;
14import org.eclipse.viatra.solver.data.map.tests.fuzz.utils.FuzzTestUtils;
15import org.eclipse.viatra.solver.data.map.tests.utils.MapTestEnvironment;
16import org.junit.jupiter.api.Tag; 10import org.junit.jupiter.api.Tag;
17import org.junit.jupiter.api.Timeout; 11import org.junit.jupiter.api.Timeout;
18import org.junit.jupiter.params.ParameterizedTest; 12import org.junit.jupiter.params.ParameterizedTest;
19import org.junit.jupiter.params.provider.Arguments; 13import org.junit.jupiter.params.provider.Arguments;
20import org.junit.jupiter.params.provider.MethodSource; 14import org.junit.jupiter.params.provider.MethodSource;
21 15
16import tools.refinery.data.map.ContinousHashProvider;
17import tools.refinery.data.map.VersionedMapStore;
18import tools.refinery.data.map.VersionedMapStoreImpl;
19import tools.refinery.data.map.internal.VersionedMapImpl;
20import tools.refinery.data.map.tests.fuzz.utils.FuzzTestUtils;
21import tools.refinery.data.map.tests.utils.MapTestEnvironment;
22
22class SharedStoreFuzzTest { 23class SharedStoreFuzzTest {
23 private void runFuzzTest(String scenario, int seed, int steps, int maxKey, int maxValue, int commitFrequency, 24 private void runFuzzTest(String scenario, int seed, int steps, int maxKey, int maxValue, int commitFrequency,
24 boolean evilHash) { 25 boolean evilHash) {
diff --git a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/utils/FuzzTestUtils.java b/store/src/test/java/tools/refinery/data/map/tests/fuzz/utils/FuzzTestUtils.java
index ec21bb7b..23df4aef 100644
--- a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/utils/FuzzTestUtils.java
+++ b/store/src/test/java/tools/refinery/data/map/tests/fuzz/utils/FuzzTestUtils.java
@@ -1,4 +1,4 @@
1package org.eclipse.viatra.solver.data.map.tests.fuzz.utils; 1package tools.refinery.data.map.tests.fuzz.utils;
2 2
3import java.util.Arrays; 3import java.util.Arrays;
4import java.util.LinkedList; 4import java.util.LinkedList;
diff --git a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/utils/FuzzTestUtilsTest.java b/store/src/test/java/tools/refinery/data/map/tests/fuzz/utils/FuzzTestUtilsTest.java
index 3f4214bc..abf8be3c 100644
--- a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/utils/FuzzTestUtilsTest.java
+++ b/store/src/test/java/tools/refinery/data/map/tests/fuzz/utils/FuzzTestUtilsTest.java
@@ -1,4 +1,4 @@
1package org.eclipse.viatra.solver.data.map.tests.fuzz.utils; 1package tools.refinery.data.map.tests.fuzz.utils;
2 2
3import static org.junit.jupiter.api.Assertions.assertEquals; 3import static org.junit.jupiter.api.Assertions.assertEquals;
4 4
diff --git a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/utils/MapTestEnvironment.java b/store/src/test/java/tools/refinery/data/map/tests/utils/MapTestEnvironment.java
index 4c043350..e1cfc2e2 100644
--- a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/utils/MapTestEnvironment.java
+++ b/store/src/test/java/tools/refinery/data/map/tests/utils/MapTestEnvironment.java
@@ -1,4 +1,4 @@
1package org.eclipse.viatra.solver.data.map.tests.utils; 1package tools.refinery.data.map.tests.utils;
2 2
3import static org.junit.jupiter.api.Assertions.assertEquals; 3import static org.junit.jupiter.api.Assertions.assertEquals;
4import static org.junit.jupiter.api.Assertions.assertTrue; 4import static org.junit.jupiter.api.Assertions.assertTrue;
@@ -11,10 +11,10 @@ import java.util.Map;
11import java.util.Map.Entry; 11import java.util.Map.Entry;
12import java.util.TreeMap; 12import java.util.TreeMap;
13 13
14import org.eclipse.viatra.solver.data.map.ContinousHashProvider; 14import tools.refinery.data.map.ContinousHashProvider;
15import org.eclipse.viatra.solver.data.map.Cursor; 15import tools.refinery.data.map.Cursor;
16import org.eclipse.viatra.solver.data.map.VersionedMap; 16import tools.refinery.data.map.VersionedMap;
17import org.eclipse.viatra.solver.data.map.internal.VersionedMapImpl; 17import tools.refinery.data.map.internal.VersionedMapImpl;
18 18
19public class MapTestEnvironment<K, V> { 19public class MapTestEnvironment<K, V> {
20 public static String[] prepareValues(int maxValue) { 20 public static String[] prepareValues(int maxValue) {
diff --git a/store/src/test/java/org/eclipse/viatra/solver/data/model/hashTests/HashEfficiencyTest.java b/store/src/test/java/tools/refinery/data/model/hashTests/HashEfficiencyTest.java
index c4d98a43..f3479846 100644
--- a/store/src/test/java/org/eclipse/viatra/solver/data/model/hashTests/HashEfficiencyTest.java
+++ b/store/src/test/java/tools/refinery/data/model/hashTests/HashEfficiencyTest.java
@@ -1,4 +1,4 @@
1package org.eclipse.viatra.solver.data.model.hashTests; 1package tools.refinery.data.model.hashTests;
2 2
3import static org.junit.jupiter.api.Assertions.assertEquals; 3import static org.junit.jupiter.api.Assertions.assertEquals;
4 4
@@ -7,12 +7,13 @@ import java.util.LinkedList;
7import java.util.List; 7import java.util.List;
8import java.util.Random; 8import java.util.Random;
9 9
10import org.eclipse.viatra.solver.data.map.ContinousHashProvider;
11import org.eclipse.viatra.solver.data.model.Tuple;
12import org.eclipse.viatra.solver.data.model.TupleHashProvider;
13import org.eclipse.viatra.solver.data.model.TupleHashProviderBitMagic;
14import org.junit.jupiter.api.Test; 10import org.junit.jupiter.api.Test;
15 11
12import tools.refinery.data.map.ContinousHashProvider;
13import tools.refinery.data.model.Tuple;
14import tools.refinery.data.model.TupleHashProvider;
15import tools.refinery.data.model.TupleHashProviderBitMagic;
16
16class HashEfficiencyTest { 17class HashEfficiencyTest {
17 18
18 private static List<Tuple> permutations(int range, int arity) { 19 private static List<Tuple> permutations(int range, int arity) {
diff --git a/store/src/test/java/org/eclipse/viatra/solver/data/model/tests/ModelTest.java b/store/src/test/java/tools/refinery/data/model/tests/ModelTest.java
index c9bf3da9..2b7589bc 100644
--- a/store/src/test/java/org/eclipse/viatra/solver/data/model/tests/ModelTest.java
+++ b/store/src/test/java/tools/refinery/data/model/tests/ModelTest.java
@@ -1,4 +1,4 @@
1package org.eclipse.viatra.solver.data.model.tests; 1package tools.refinery.data.model.tests;
2 2
3import static org.junit.jupiter.api.Assertions.assertEquals; 3import static org.junit.jupiter.api.Assertions.assertEquals;
4import static org.junit.jupiter.api.Assertions.assertFalse; 4import static org.junit.jupiter.api.Assertions.assertFalse;
@@ -6,14 +6,15 @@ import static org.junit.jupiter.api.Assertions.assertTrue;
6 6
7import java.util.Set; 7import java.util.Set;
8 8
9import org.eclipse.viatra.solver.data.model.Model;
10import org.eclipse.viatra.solver.data.model.ModelStore;
11import org.eclipse.viatra.solver.data.model.ModelStoreImpl;
12import org.eclipse.viatra.solver.data.model.Tuple;
13import org.eclipse.viatra.solver.data.model.representation.Relation;
14import org.junit.jupiter.api.Assertions; 9import org.junit.jupiter.api.Assertions;
15import org.junit.jupiter.api.Test; 10import org.junit.jupiter.api.Test;
16 11
12import tools.refinery.data.model.Model;
13import tools.refinery.data.model.ModelStore;
14import tools.refinery.data.model.ModelStoreImpl;
15import tools.refinery.data.model.Tuple;
16import tools.refinery.data.model.representation.Relation;
17
17class ModelTest { 18class ModelTest {
18 19
19 @Test 20 @Test
diff --git a/store/src/test/java/org/eclipse/viatra/solver/data/query/test/QueryTest.java b/store/src/test/java/tools/refinery/data/query/test/QueryTest.java
index 1500f77c..faf3f111 100644
--- a/store/src/test/java/org/eclipse/viatra/solver/data/query/test/QueryTest.java
+++ b/store/src/test/java/tools/refinery/data/query/test/QueryTest.java
@@ -1,4 +1,4 @@
1package org.eclipse.viatra.solver.data.query.test; 1package tools.refinery.data.query.test;
2 2
3import static org.junit.jupiter.api.Assertions.assertEquals; 3import static org.junit.jupiter.api.Assertions.assertEquals;
4import static org.junit.jupiter.api.Assertions.assertFalse; 4import static org.junit.jupiter.api.Assertions.assertFalse;
@@ -12,20 +12,21 @@ import org.eclipse.viatra.query.runtime.api.GenericPatternMatch;
12import org.eclipse.viatra.query.runtime.api.GenericPatternMatcher; 12import org.eclipse.viatra.query.runtime.api.GenericPatternMatcher;
13import org.eclipse.viatra.query.runtime.api.GenericQuerySpecification; 13import org.eclipse.viatra.query.runtime.api.GenericQuerySpecification;
14import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine; 14import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;
15import org.eclipse.viatra.solver.data.model.Model;
16import org.eclipse.viatra.solver.data.model.ModelStore;
17import org.eclipse.viatra.solver.data.model.ModelStoreImpl;
18import org.eclipse.viatra.solver.data.model.Tuple;
19import org.eclipse.viatra.solver.data.model.representation.Relation;
20import org.eclipse.viatra.solver.data.model.representation.TruthValue;
21import org.eclipse.viatra.solver.data.query.RelationalScope;
22import org.eclipse.viatra.solver.data.query.internal.PredicateTranslator;
23import org.eclipse.viatra.solver.data.query.view.FilteredRelationView;
24import org.eclipse.viatra.solver.data.query.view.FunctionalRelationView;
25import org.eclipse.viatra.solver.data.query.view.RelationView;
26import org.eclipse.viatra.solver.data.query.view.KeyOnlyRelationView;
27import org.junit.jupiter.api.Test; 15import org.junit.jupiter.api.Test;
28 16
17import tools.refinery.data.model.Model;
18import tools.refinery.data.model.ModelStore;
19import tools.refinery.data.model.ModelStoreImpl;
20import tools.refinery.data.model.Tuple;
21import tools.refinery.data.model.representation.Relation;
22import tools.refinery.data.model.representation.TruthValue;
23import tools.refinery.data.query.RelationalScope;
24import tools.refinery.data.query.internal.PredicateTranslator;
25import tools.refinery.data.query.view.FilteredRelationView;
26import tools.refinery.data.query.view.FunctionalRelationView;
27import tools.refinery.data.query.view.KeyOnlyRelationView;
28import tools.refinery.data.query.view.RelationView;
29
29class QueryTest { 30class QueryTest {
30 @Test 31 @Test
31 void minimalTest() { 32 void minimalTest() {
diff --git a/store/src/test/java/org/eclipse/viatra/solver/data/util/CollectionsUtilTests.java b/store/src/test/java/tools/refinery/data/util/CollectionsUtilTests.java
index 16368912..39ff4aca 100644
--- a/store/src/test/java/org/eclipse/viatra/solver/data/util/CollectionsUtilTests.java
+++ b/store/src/test/java/tools/refinery/data/util/CollectionsUtilTests.java
@@ -1,4 +1,8 @@
1package org.eclipse.viatra.solver.data.util; 1package tools.refinery.data.util;
2
3import static org.junit.jupiter.api.Assertions.assertEquals;
4import static tools.refinery.data.util.CollectionsUtil.filter;
5import static tools.refinery.data.util.CollectionsUtil.map;
2 6
3import java.util.ArrayList; 7import java.util.ArrayList;
4import java.util.Iterator; 8import java.util.Iterator;
@@ -8,9 +12,6 @@ import java.util.NoSuchElementException;
8import org.junit.jupiter.api.Assertions; 12import org.junit.jupiter.api.Assertions;
9import org.junit.jupiter.api.Test; 13import org.junit.jupiter.api.Test;
10 14
11import static org.eclipse.viatra.solver.data.util.CollectionsUtil.*;
12import static org.junit.jupiter.api.Assertions.assertEquals;
13
14class CollectionsUtilTests { 15class CollectionsUtilTests {
15 List<Integer> list10 = List.of(1, 2, 3, 4, 5, 6, 7, 8, 9, 10); 16 List<Integer> list10 = List.of(1, 2, 3, 4, 5, 6, 7, 8, 9, 10);
16 List<String> listTen = List.of("1", "2", "3", "4", "5", "6", "7", "8", "9", "10"); 17 List<String> listTen = List.of("1", "2", "3", "4", "5", "6", "7", "8", "9", "10");
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-15 23:00:04 +0000