Fixing warning caused by an "unused parameter" which is used by an annotation

author: OszkarSemerath <semerath@mit.bme.hu> 2023-02-05 20:34:15 +0100
committer: OszkarSemerath <semerath@mit.bme.hu> 2023-02-05 20:34:15 +0100
commit: 3b7bb0e09a292df61892613fda8ff1b17a999369 (patch)
tree: d2d57b8497259cd8e6821b464379af0aa8b27d33 /subprojects/store/src
parent: Formatting fuzz tests + improving code qualitz (diff)
download: refinery-3b7bb0e09a292df61892613fda8ff1b17a999369.tar.gz
refinery-3b7bb0e09a292df61892613fda8ff1b17a999369.tar.zst
refinery-3b7bb0e09a292df61892613fda8ff1b17a999369.zip
8 files changed, 16 insertions, 16 deletions
diff --git a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/CommitFuzzTest.java b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/CommitFuzzTest.java
index cd32337e..9e3f636b 100644
--- a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/CommitFuzzTest.java
+++ b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/CommitFuzzTest.java
@@ -59,7 +59,7 @@ class CommitFuzzTest {
        @MethodSource
        @Timeout(value = 10)
        @Tag("fuzz")
-        void parametrizedFastFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
+        void parametrizedFastFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
                                                          int seed,
                                                          boolean evilHash) {
                runFuzzTest("CommitS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,
@@ -77,7 +77,7 @@ class CommitFuzzTest {
        @MethodSource
        @Tag("fuzz")
        @Tag("slow")
-        void parametrizedSlowFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
+        void parametrizedSlowFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
                                                          int seed, boolean evilHash) {
                runFuzzTest("CommitS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,
                                nullDefault, commitFrequency, evilHash);
diff --git a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/ContentEqualsFuzzTest.java b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/ContentEqualsFuzzTest.java
index 996bfa03..71cb3d11 100644
--- a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/ContentEqualsFuzzTest.java
+++ b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/ContentEqualsFuzzTest.java
@@ -86,7 +86,7 @@ class ContentEqualsFuzzTest {
        @MethodSource
        @Timeout(value = 10)
        @Tag("fuzz")
-        void parametrizedFastFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
+        void parametrizedFastFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
                                                          int seed, boolean evilHash) {
                runFuzzTest("CompareS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,
                                nullDefault, commitFrequency, evilHash);
@@ -104,7 +104,7 @@ class ContentEqualsFuzzTest {
        @MethodSource
        @Tag("fuzz")
        @Tag("slow")
-        void parametrizedSlowFuzz(int tests, int steps, int noKeys, int noValues, boolean defaultNull, int commitFrequency,
+        void parametrizedSlowFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean defaultNull, int commitFrequency,
                                                          int seed, boolean evilHash) {
                runFuzzTest("CompareS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,
                                defaultNull, commitFrequency, evilHash);
diff --git a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/DiffCursorFuzzTest.java b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/DiffCursorFuzzTest.java
index 4f7f48b5..8a5576aa 100644
--- a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/DiffCursorFuzzTest.java
+++ b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/DiffCursorFuzzTest.java
@@ -92,7 +92,7 @@ class DiffCursorFuzzTest {
        @MethodSource
        @Timeout(value = 10)
        @Tag("fuzz")
-        void parametrizedFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
+        void parametrizedFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
                                                  int seed,
                                                  boolean evilHash) {
                runFuzzTest("MutableImmutableCompareS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps,
@@ -110,7 +110,7 @@ class DiffCursorFuzzTest {
        @MethodSource
        @Tag("fuzz")
        @Tag("slow")
-        void parametrizedSlowFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
+        void parametrizedSlowFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
                                                          int seed,
                                                          boolean evilHash) {
                runFuzzTest("MutableImmutableCompareS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,
diff --git a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MultiThreadFuzzTest.java b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MultiThreadFuzzTest.java
index 5412d958..5d5f3ce3 100644
--- a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MultiThreadFuzzTest.java
+++ b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MultiThreadFuzzTest.java
@@ -71,7 +71,7 @@ class MultiThreadFuzzTest {
        @MethodSource
        @Timeout(value = 10)
        @Tag("fuzz")
-        void parametrizedFastFuzz(int tests, int steps, int noKeys, int noValues, boolean defaultNull, int commitFrequency,
+        void parametrizedFastFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean defaultNull, int commitFrequency,
                                                          int seed, boolean evilHash) {
                runFuzzTest("MultiThreadS" + steps + "K" + noKeys + "V" + noValues + defaultNull + "CF" + commitFrequency +
                                "s" + seed, seed, steps, noKeys, noValues, defaultNull, commitFrequency, evilHash);
@@ -88,7 +88,7 @@ class MultiThreadFuzzTest {
        @MethodSource
        @Tag("fuzz")
        @Tag("slow")
-        void parametrizedSlowFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency, int seed,
+        void parametrizedSlowFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency, int seed,
                                                          boolean evilHash) {
                runFuzzTest("RestoreS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,
                                nullDefault, commitFrequency, evilHash);
diff --git a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MutableFuzzTest.java b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MutableFuzzTest.java
index 2448268a..2d65ba0c 100644
--- a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MutableFuzzTest.java
+++ b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MutableFuzzTest.java
@@ -56,7 +56,7 @@ class MutableFuzzTest {
        @MethodSource
        @Timeout(value = 10)
        @Tag("fuzz")
-        void parametrizedFuzz(int test, int steps, int noKeys, int noValues, boolean defaultNull, int seed,
+        void parametrizedFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean defaultNull, int seed,
                                                  boolean evilHash) {
                runFuzzTest(
                                "MutableS" + steps + "K" + noKeys + "V" + noValues + "s" + seed + "H" + (evilHash ? "Evil" : "Normal"),
@@ -74,7 +74,7 @@ class MutableFuzzTest {
        @MethodSource
        @Tag("fuzz")
        @Tag("slow")
-        void parametrizedSlowFuzz(int test, int steps, int noKeys, int noValues, boolean nullDefault, int seed,
+        void parametrizedSlowFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int seed,
                                                          boolean evilHash) {
                runFuzzTest(
                                "MutableS" + steps + "K" + noKeys + "V" + noValues + "s" + seed + "H" + (evilHash ? "Evil" : "Normal"),
diff --git a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MutableImmutableCompareFuzzTest.java b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MutableImmutableCompareFuzzTest.java
index 07ca4f69..da8a43c2 100644
--- a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MutableImmutableCompareFuzzTest.java
+++ b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MutableImmutableCompareFuzzTest.java
@@ -62,7 +62,7 @@ class MutableImmutableCompareFuzzTest {
        @MethodSource
        @Timeout(value = 10)
        @Tag("fuzz")
-        void parametrizedFastFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
+        void parametrizedFastFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
                                                          int seed, boolean evilHash) {
                runFuzzTest("MutableImmutableCompareS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps,
                                noKeys, noValues, nullDefault, commitFrequency, evilHash);
@@ -79,7 +79,7 @@ class MutableImmutableCompareFuzzTest {
        @MethodSource
        @Tag("fuzz")
        @Tag("slow")
-        void parametrizedSlowFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
+        void parametrizedSlowFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
                                                          int seed, boolean evilHash) {
                runFuzzTest("MutableImmutableCompareS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps,
                                noKeys, noValues, nullDefault, commitFrequency, evilHash);
diff --git a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/RestoreFuzzTest.java b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/RestoreFuzzTest.java
index e0366381..bd03d1e9 100644
--- a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/RestoreFuzzTest.java
+++ b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/RestoreFuzzTest.java
@@ -83,7 +83,7 @@ class RestoreFuzzTest {
        @MethodSource
        @Timeout(value = 10)
        @Tag("smoke")
-        void parametrizedFastFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
+        void parametrizedFastFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
                                                          int seed, boolean evilHash) {
                runFuzzTest("RestoreS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,
                                nullDefault, commitFrequency, evilHash);
@@ -100,7 +100,7 @@ class RestoreFuzzTest {
        @MethodSource
        @Tag("smoke")
        @Tag("slow")
-        void parametrizedSlowFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
+        void parametrizedSlowFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
                                                          int seed, boolean evilHash) {
                runFuzzTest("RestoreS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,
                                nullDefault, commitFrequency, evilHash);
diff --git a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/SharedStoreFuzzTest.java b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/SharedStoreFuzzTest.java
index a576b1c8..0fc9cd38 100644
--- a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/SharedStoreFuzzTest.java
+++ b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/SharedStoreFuzzTest.java
@@ -86,7 +86,7 @@ class SharedStoreFuzzTest {
        @MethodSource
        @Timeout(value = 10)
        @Tag("smoke")
-        void parametrizedFastFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
+        void parametrizedFastFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
                                                          int seed, boolean evilHash) {
                runFuzzTest("SharedS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,
                                nullDefault, commitFrequency, evilHash);
@@ -103,7 +103,7 @@ class SharedStoreFuzzTest {
        @MethodSource
        @Tag("smoke")
        @Tag("slow")
-        void parametrizedSlowFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
+        void parametrizedSlowFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
                                                          int seed, boolean evilHash) {
                runFuzzTest("SharedS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,
                                nullDefault, commitFrequency, evilHash);
author	OszkarSemerath <semerath@mit.bme.hu>	2023-02-05 20:34:15 +0100
committer	OszkarSemerath <semerath@mit.bme.hu>	2023-02-05 20:34:15 +0100
commit	3b7bb0e09a292df61892613fda8ff1b17a999369 (patch)
tree	d2d57b8497259cd8e6821b464379af0aa8b27d33 /subprojects/store/src
parent	Formatting fuzz tests + improving code qualitz (diff)
download	refinery-3b7bb0e09a292df61892613fda8ff1b17a999369.tar.gz refinery-3b7bb0e09a292df61892613fda8ff1b17a999369.tar.zst refinery-3b7bb0e09a292df61892613fda8ff1b17a999369.zip

diff --git a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/CommitFuzzTest.java b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/CommitFuzzTest.java index cd32337e..9e3f636b 100644 --- a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/CommitFuzzTest.java +++ b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/CommitFuzzTest.java
@@ -59,7 +59,7 @@ class CommitFuzzTest {
59	@MethodSource	59	@MethodSource
60	@Timeout(value = 10)	60	@Timeout(value = 10)
61	@Tag("fuzz")	61	@Tag("fuzz")
62	void parametrizedFastFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,	62	void parametrizedFastFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
63	int seed,	63	int seed,
64	boolean evilHash) {	64	boolean evilHash) {
65	runFuzzTest("CommitS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,	65	runFuzzTest("CommitS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,
@@ -77,7 +77,7 @@ class CommitFuzzTest {
77	@MethodSource	77	@MethodSource
78	@Tag("fuzz")	78	@Tag("fuzz")
79	@Tag("slow")	79	@Tag("slow")
80	void parametrizedSlowFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,	80	void parametrizedSlowFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
81	int seed, boolean evilHash) {	81	int seed, boolean evilHash) {
82	runFuzzTest("CommitS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,	82	runFuzzTest("CommitS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,
83	nullDefault, commitFrequency, evilHash);	83	nullDefault, commitFrequency, evilHash);


diff --git a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/ContentEqualsFuzzTest.java b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/ContentEqualsFuzzTest.java index 996bfa03..71cb3d11 100644 --- a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/ContentEqualsFuzzTest.java +++ b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/ContentEqualsFuzzTest.java
@@ -86,7 +86,7 @@ class ContentEqualsFuzzTest {
86	@MethodSource	86	@MethodSource
87	@Timeout(value = 10)	87	@Timeout(value = 10)
88	@Tag("fuzz")	88	@Tag("fuzz")
89	void parametrizedFastFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,	89	void parametrizedFastFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
90	int seed, boolean evilHash) {	90	int seed, boolean evilHash) {
91	runFuzzTest("CompareS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,	91	runFuzzTest("CompareS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,
92	nullDefault, commitFrequency, evilHash);	92	nullDefault, commitFrequency, evilHash);
@@ -104,7 +104,7 @@ class ContentEqualsFuzzTest {
104	@MethodSource	104	@MethodSource
105	@Tag("fuzz")	105	@Tag("fuzz")
106	@Tag("slow")	106	@Tag("slow")
107	void parametrizedSlowFuzz(int tests, int steps, int noKeys, int noValues, boolean defaultNull, int commitFrequency,	107	void parametrizedSlowFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean defaultNull, int commitFrequency,
108	int seed, boolean evilHash) {	108	int seed, boolean evilHash) {
109	runFuzzTest("CompareS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,	109	runFuzzTest("CompareS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,
110	defaultNull, commitFrequency, evilHash);	110	defaultNull, commitFrequency, evilHash);


diff --git a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/DiffCursorFuzzTest.java b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/DiffCursorFuzzTest.java index 4f7f48b5..8a5576aa 100644 --- a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/DiffCursorFuzzTest.java +++ b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/DiffCursorFuzzTest.java
@@ -92,7 +92,7 @@ class DiffCursorFuzzTest {
92	@MethodSource	92	@MethodSource
93	@Timeout(value = 10)	93	@Timeout(value = 10)
94	@Tag("fuzz")	94	@Tag("fuzz")
95	void parametrizedFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,	95	void parametrizedFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
96	int seed,	96	int seed,
97	boolean evilHash) {	97	boolean evilHash) {
98	runFuzzTest("MutableImmutableCompareS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps,	98	runFuzzTest("MutableImmutableCompareS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps,
@@ -110,7 +110,7 @@ class DiffCursorFuzzTest {
110	@MethodSource	110	@MethodSource
111	@Tag("fuzz")	111	@Tag("fuzz")
112	@Tag("slow")	112	@Tag("slow")
113	void parametrizedSlowFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,	113	void parametrizedSlowFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
114	int seed,	114	int seed,
115	boolean evilHash) {	115	boolean evilHash) {
116	runFuzzTest("MutableImmutableCompareS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,	116	runFuzzTest("MutableImmutableCompareS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,


diff --git a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MultiThreadFuzzTest.java b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MultiThreadFuzzTest.java index 5412d958..5d5f3ce3 100644 --- a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MultiThreadFuzzTest.java +++ b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MultiThreadFuzzTest.java
@@ -71,7 +71,7 @@ class MultiThreadFuzzTest {
71	@MethodSource	71	@MethodSource
72	@Timeout(value = 10)	72	@Timeout(value = 10)
73	@Tag("fuzz")	73	@Tag("fuzz")
74	void parametrizedFastFuzz(int tests, int steps, int noKeys, int noValues, boolean defaultNull, int commitFrequency,	74	void parametrizedFastFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean defaultNull, int commitFrequency,
75	int seed, boolean evilHash) {	75	int seed, boolean evilHash) {
76	runFuzzTest("MultiThreadS" + steps + "K" + noKeys + "V" + noValues + defaultNull + "CF" + commitFrequency +	76	runFuzzTest("MultiThreadS" + steps + "K" + noKeys + "V" + noValues + defaultNull + "CF" + commitFrequency +
77	"s" + seed, seed, steps, noKeys, noValues, defaultNull, commitFrequency, evilHash);	77	"s" + seed, seed, steps, noKeys, noValues, defaultNull, commitFrequency, evilHash);
@@ -88,7 +88,7 @@ class MultiThreadFuzzTest {
88	@MethodSource	88	@MethodSource
89	@Tag("fuzz")	89	@Tag("fuzz")
90	@Tag("slow")	90	@Tag("slow")
91	void parametrizedSlowFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency, int seed,	91	void parametrizedSlowFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency, int seed,
92	boolean evilHash) {	92	boolean evilHash) {
93	runFuzzTest("RestoreS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,	93	runFuzzTest("RestoreS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,
94	nullDefault, commitFrequency, evilHash);	94	nullDefault, commitFrequency, evilHash);


diff --git a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MutableFuzzTest.java b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MutableFuzzTest.java index 2448268a..2d65ba0c 100644 --- a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MutableFuzzTest.java +++ b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MutableFuzzTest.java
@@ -56,7 +56,7 @@ class MutableFuzzTest {
56	@MethodSource	56	@MethodSource
57	@Timeout(value = 10)	57	@Timeout(value = 10)
58	@Tag("fuzz")	58	@Tag("fuzz")
59	void parametrizedFuzz(int test, int steps, int noKeys, int noValues, boolean defaultNull, int seed,	59	void parametrizedFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean defaultNull, int seed,
60	boolean evilHash) {	60	boolean evilHash) {
61	runFuzzTest(	61	runFuzzTest(
62	"MutableS" + steps + "K" + noKeys + "V" + noValues + "s" + seed + "H" + (evilHash ? "Evil" : "Normal"),	62	"MutableS" + steps + "K" + noKeys + "V" + noValues + "s" + seed + "H" + (evilHash ? "Evil" : "Normal"),
@@ -74,7 +74,7 @@ class MutableFuzzTest {
74	@MethodSource	74	@MethodSource
75	@Tag("fuzz")	75	@Tag("fuzz")
76	@Tag("slow")	76	@Tag("slow")
77	void parametrizedSlowFuzz(int test, int steps, int noKeys, int noValues, boolean nullDefault, int seed,	77	void parametrizedSlowFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int seed,
78	boolean evilHash) {	78	boolean evilHash) {
79	runFuzzTest(	79	runFuzzTest(
80	"MutableS" + steps + "K" + noKeys + "V" + noValues + "s" + seed + "H" + (evilHash ? "Evil" : "Normal"),	80	"MutableS" + steps + "K" + noKeys + "V" + noValues + "s" + seed + "H" + (evilHash ? "Evil" : "Normal"),


diff --git a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MutableImmutableCompareFuzzTest.java b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MutableImmutableCompareFuzzTest.java index 07ca4f69..da8a43c2 100644 --- a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MutableImmutableCompareFuzzTest.java +++ b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/MutableImmutableCompareFuzzTest.java
@@ -62,7 +62,7 @@ class MutableImmutableCompareFuzzTest {
62	@MethodSource	62	@MethodSource
63	@Timeout(value = 10)	63	@Timeout(value = 10)
64	@Tag("fuzz")	64	@Tag("fuzz")
65	void parametrizedFastFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,	65	void parametrizedFastFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
66	int seed, boolean evilHash) {	66	int seed, boolean evilHash) {
67	runFuzzTest("MutableImmutableCompareS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps,	67	runFuzzTest("MutableImmutableCompareS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps,
68	noKeys, noValues, nullDefault, commitFrequency, evilHash);	68	noKeys, noValues, nullDefault, commitFrequency, evilHash);
@@ -79,7 +79,7 @@ class MutableImmutableCompareFuzzTest {
79	@MethodSource	79	@MethodSource
80	@Tag("fuzz")	80	@Tag("fuzz")
81	@Tag("slow")	81	@Tag("slow")
82	void parametrizedSlowFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,	82	void parametrizedSlowFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
83	int seed, boolean evilHash) {	83	int seed, boolean evilHash) {
84	runFuzzTest("MutableImmutableCompareS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps,	84	runFuzzTest("MutableImmutableCompareS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps,
85	noKeys, noValues, nullDefault, commitFrequency, evilHash);	85	noKeys, noValues, nullDefault, commitFrequency, evilHash);


diff --git a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/RestoreFuzzTest.java b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/RestoreFuzzTest.java index e0366381..bd03d1e9 100644 --- a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/RestoreFuzzTest.java +++ b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/RestoreFuzzTest.java
@@ -83,7 +83,7 @@ class RestoreFuzzTest {
83	@MethodSource	83	@MethodSource
84	@Timeout(value = 10)	84	@Timeout(value = 10)
85	@Tag("smoke")	85	@Tag("smoke")
86	void parametrizedFastFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,	86	void parametrizedFastFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
87	int seed, boolean evilHash) {	87	int seed, boolean evilHash) {
88	runFuzzTest("RestoreS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,	88	runFuzzTest("RestoreS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,
89	nullDefault, commitFrequency, evilHash);	89	nullDefault, commitFrequency, evilHash);
@@ -100,7 +100,7 @@ class RestoreFuzzTest {
100	@MethodSource	100	@MethodSource
101	@Tag("smoke")	101	@Tag("smoke")
102	@Tag("slow")	102	@Tag("slow")
103	void parametrizedSlowFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,	103	void parametrizedSlowFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
104	int seed, boolean evilHash) {	104	int seed, boolean evilHash) {
105	runFuzzTest("RestoreS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,	105	runFuzzTest("RestoreS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,
106	nullDefault, commitFrequency, evilHash);	106	nullDefault, commitFrequency, evilHash);


diff --git a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/SharedStoreFuzzTest.java b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/SharedStoreFuzzTest.java index a576b1c8..0fc9cd38 100644 --- a/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/SharedStoreFuzzTest.java +++ b/subprojects/store/src/test/java/tools/refinery/store/map/tests/fuzz/SharedStoreFuzzTest.java
@@ -86,7 +86,7 @@ class SharedStoreFuzzTest {
86	@MethodSource	86	@MethodSource
87	@Timeout(value = 10)	87	@Timeout(value = 10)
88	@Tag("smoke")	88	@Tag("smoke")
89	void parametrizedFastFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,	89	void parametrizedFastFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
90	int seed, boolean evilHash) {	90	int seed, boolean evilHash) {
91	runFuzzTest("SharedS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,	91	runFuzzTest("SharedS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,
92	nullDefault, commitFrequency, evilHash);	92	nullDefault, commitFrequency, evilHash);
@@ -103,7 +103,7 @@ class SharedStoreFuzzTest {
103	@MethodSource	103	@MethodSource
104	@Tag("smoke")	104	@Tag("smoke")
105	@Tag("slow")	105	@Tag("slow")
106	void parametrizedSlowFuzz(int tests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,	106	void parametrizedSlowFuzz(int ignoredTests, int steps, int noKeys, int noValues, boolean nullDefault, int commitFrequency,
107	int seed, boolean evilHash) {	107	int seed, boolean evilHash) {
108	runFuzzTest("SharedS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,	108	runFuzzTest("SharedS" + steps + "K" + noKeys + "V" + noValues + "s" + seed, seed, steps, noKeys, noValues,
109	nullDefault, commitFrequency, evilHash);	109	nullDefault, commitFrequency, evilHash);