1 files changed, 33 insertions, 0 deletions

diff --git a/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/utils/FuzzTestUtilsTest.java b/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/utils/FuzzTestUtilsTest.java
new file mode 100644
index 00000000..3f4214bc
--- /dev/null
+++ b/store/src/test/java/org/eclipse/viatra/solver/data/map/tests/fuzz/utils/FuzzTestUtilsTest.java
@@ -0,0 +1,33 @@
+package org.eclipse.viatra.solver.data.map.tests.fuzz.utils;
+
+import static org.junit.jupiter.api.Assertions.assertEquals;
+
+import java.util.List;
+
+import org.junit.jupiter.api.Test;
+
+class FuzzTestUtilsTest {
+        @Test
+        void permutationInternalTest() {
+                List<List<Object>> res = FuzzTestUtils.permutationInternal(0, new Object[] { 1, 2, 3 },
+                                new Object[] { 'a', 'b', 'c' }, new Object[] { "alpha", "beta", "gamma", "delta" });
+                assertEquals(3 * 3 * 4, res.size());
+        }
+
+        @Test
+        void permutationTest1() {
+                var res = FuzzTestUtils.permutation(new Object[] { 1, 2, 3 }, new Object[] { 'a', 'b', 'c' },
+                                new Object[] { "alpha", "beta", "gamma", "delta" });
+                assertEquals(3 * 3 * 4, res.count());
+        }
+
+        @Test
+        void permutationTest2() {
+                var res = FuzzTestUtils.permutation(new Object[] { 1, 2, 3 }, new Object[] { 'a', 'b', 'c' },
+                                new Object[] { "alpha", "beta", "gamma", "delta" });
+                var arguments = res.findFirst().get().get();
+                assertEquals(1, arguments[0]);
+                assertEquals('a', arguments[1]);
+                assertEquals("alpha", arguments[2]);
+        }
+}