From ce611d60890df9c40aa249054256d2bc1465c18e Mon Sep 17 00:00:00 2001
From: Jonathan Cornaz <jonathan.cornaz@gmail.com>
Date: Sat, 18 May 2019 09:56:11 +0200
Subject: [PATCH] Prints number of iteration and seed

Resolves #17
---
 core/src/commonMain/kotlin/com/github/jcornaz/kwik/Runner.kt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/core/src/commonMain/kotlin/com/github/jcornaz/kwik/Runner.kt b/core/src/commonMain/kotlin/com/github/jcornaz/kwik/Runner.kt
index e960f2a5..3ff9e88b 100644
--- a/core/src/commonMain/kotlin/com/github/jcornaz/kwik/Runner.kt
+++ b/core/src/commonMain/kotlin/com/github/jcornaz/kwik/Runner.kt
@@ -22,6 +22,9 @@ fun <A> checkForAll(
 ) {
     require(iterations > 0) { "Iterations must be > 0, but was: $iterations" }
 
+    println("Iterations: $iterations")
+    println("Seed: $seed")
+
     generator.randoms(seed)
         .take(iterations)
         .forEach(property)