test: Speedup property testing

hkupty · Jan 14, 2024 · f1cfedb · f1cfedb
1 parent 607bf5f
commit f1cfedb
Showing 1 changed file with 15 additions and 22 deletions.
diff --git a/penna-core/src/propertyTesting/java/penna/core/logger/LoggerStorageTests.java b/penna-core/src/propertyTesting/java/penna/core/logger/LoggerStorageTests.java
@@ -9,29 +9,22 @@ class LoggerStorageTests {
 
     @Provide
     Arbitrary<List<String>> loggerNames() {
-        return
-                Arbitraries
-                        .strings()
-                        .alpha()
-                        .ofMinLength(2)
-                        .ofMaxLength(5)
-                        .flatMap(prefix ->
-                                Arbitraries
-                                        .strings()
-                                        .alpha()
-                                        .ofMinLength(3)
-                                        .ofMaxLength(10)
-                                        .list()
-                                        .ofMinSize(2)
-                                        .ofMaxSize(4)
-                                        .map(components -> {
-                                            var builder = new StringBuilder(prefix);
-                                            components.forEach(item -> builder.append(".").append(item));
-
-                                            return builder.toString();
-                                        }))
-                        .list();
+        var builder = new StringBuilder();
+        var string = Arbitraries
+                .strings()
+                .alpha()
+                .ofMinLength(3)
+                .ofMaxLength(32)
+                .list()
+                .ofMinSize(2)
+                .ofMaxSize(6)
+                .map(components -> {
+                    builder.delete(0, builder.length());
+                    components.forEach(item -> builder.append(".").append(item));
+                    return builder.toString();
+                });
 
+        return string.list();
     }
 
     @Property