From b96925bbdabef940cdad8756c9974afce351cc4a Mon Sep 17 00:00:00 2001
From: Eugene Yokota <eed3si9n@gmail.com>
Date: Sat, 11 May 2019 03:41:41 -0400
Subject: [PATCH] run 10000 examples to reduce flakiness

---
 build.sbt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build.sbt b/build.sbt
index 9498f50fd..eb02c5ad2 100644
--- a/build.sbt
+++ b/build.sbt
@@ -617,6 +617,8 @@ lazy val mainProj = (project in file("main"))
     managedSourceDirectories in Compile +=
       baseDirectory.value / "src" / "main" / "contraband-scala",
     sourceManaged in (Compile, generateContrabands) := baseDirectory.value / "src" / "main" / "contraband-scala",
+    testOptions in Test += Tests
+      .Argument(TestFrameworks.ScalaCheck, "-minSuccessfulTests", "10000"),
     mimaSettings,
     mimaBinaryIssueFilters ++= Vector(
       // New and changed methods on KeyIndex. internal.