From f1cfedb95b0b30962c796533cd7ccda3581d2dc0 Mon Sep 17 00:00:00 2001 From: Henry Kupty Date: Sun, 14 Jan 2024 16:01:57 +0100 Subject: [PATCH] test: Speedup property testing --- .../penna/core/logger/LoggerStorageTests.java | 37 ++++++++----------- 1 file changed, 15 insertions(+), 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 index 6164ffc5..40ccab90 100644 --- 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> 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