From b4ea530036e79f139f0ed331cdf78647ae4c28a7 Mon Sep 17 00:00:00 2001
From: Eugene Yokota <eed3si9n@gmail.com>
Date: Sat, 11 May 2019 04:52:42 -0400
Subject: [PATCH] reduce the example size to 1000

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

diff --git a/build.sbt b/build.sbt
index 5b4e09f17..de85e87fc 100644
--- a/build.sbt
+++ b/build.sbt
@@ -650,7 +650,7 @@ lazy val mainProj = (project in file("main"))
       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"),
+      .Argument(TestFrameworks.ScalaCheck, "-minSuccessfulTests", "1000"),
     mimaSettings,
     mimaBinaryIssueFilters ++= Vector(
       // New and changed methods on KeyIndex. internal.