From de0fd90051d1fa03cc19d771fed974fc8886c04e Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 7 May 2017 11:45:06 +0200
Subject: [PATCH] Use fewer quickcheck tests for lua tests, to speed things up.
---
test/Tests/Lua.hs | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/test/Tests/Lua.hs b/test/Tests/Lua.hs
index 50f9634a2..cd8604ab9 100644
--- a/test/Tests/Lua.hs
+++ b/test/Tests/Lua.hs
@@ -3,9 +3,9 @@ module Tests.Lua ( tests ) where
import Control.Monad (when)
import System.FilePath ((</>))
-import Test.Tasty (TestTree)
+import Test.Tasty (TestTree, localOption)
import Test.Tasty.HUnit (Assertion, assertEqual, testCase)
-import Test.Tasty.QuickCheck (ioProperty, testProperty)
+import Test.Tasty.QuickCheck (ioProperty, testProperty, QuickCheckTests(..))
import Text.Pandoc.Arbitrary ()
import Text.Pandoc.Definition (Block, Inline, Meta, Pandoc)
import Text.Pandoc.Builder ( (<>), bulletList, doc, doubleQuoted, emph
@@ -16,7 +16,7 @@ import Text.Pandoc.Lua
import qualified Scripting.Lua as Lua
tests :: [TestTree]
-tests =
+tests = map (localOption (QuickCheckTests 20))
[ testProperty "inline elements can be round-tripped through the lua stack" $
\x -> ioProperty (roundtripEqual (x::Inline))