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