From f2d5b7273796550723ccffe1ff2787481ce7b1c1 Mon Sep 17 00:00:00 2001 From: Johannes Link Date: Tue, 20 Feb 2024 12:31:47 +0100 Subject: [PATCH] Remove KotlinExperiments --- .../kotlin/experiments/KotlinExperiments.kt | 26 ------------------- 1 file changed, 26 deletions(-) delete mode 100644 kotlin/src/main/kotlin/experiments/KotlinExperiments.kt diff --git a/kotlin/src/main/kotlin/experiments/KotlinExperiments.kt b/kotlin/src/main/kotlin/experiments/KotlinExperiments.kt deleted file mode 100644 index 203dd1e45..000000000 --- a/kotlin/src/main/kotlin/experiments/KotlinExperiments.kt +++ /dev/null @@ -1,26 +0,0 @@ -package experiments - -import net.jqwik.api.* -import net.jqwik.kotlin.api.any -import net.jqwik.kotlin.api.combine - -class KotlinExperiments { - - @Property(tries = 1000, generation = GenerationMode.RANDOMIZED) - fun `filter arbitraries`(@ForAll("combinesOneToThree") tuple: Tuple.Tuple2) { - println(tuple) - } - - @Provide - fun combinesOneToThree() = combine { - val v1 by Int.any() - val v2 by Int.any() - - filter { v1 == v2 } - - combineAs { - Tuple.of(v1, v2) - } - } - -} \ No newline at end of file