885cbfd · typeable/pandoc

git.iko.soy/typeable/pandoc

on master help sign in

Only override --quickcheck-tests=N if N is not default value (100).

885cbfdJohn MacFarlane8 years ago

test/Tests/Readers/HTML.hs+6−1

compare with master

unifiedsplit

@@ -7,6 +7,7 @@ import Data.Text (Text)

7import qualified Data.Text as T

8import Test.Tasty

9import Test.Tasty.QuickCheck

10+import Test.Tasty.Options (IsOption(defaultValue))

10import Tests.Helpers

11import Tests.Helpers

11import Text.Pandoc

12import Text.Pandoc

12import Text.Pandoc.Arbitrary ()

13import Text.Pandoc.Arbitrary ()

@@ -77,5 +78,9 @@ tests = [ testGroup "base tag"

77 , test htmlNativeDivs "<main> followed by text" $ "<main>main content</main>non-main content" =?>

78 , test htmlNativeDivs "<main> followed by text" $ "<main>main content</main>non-main content" =?>

78 doc (divWith ("", [], [("role", "main")]) (plain (text "main content")) <> plain (text "non-main content"))

79 doc (divWith ("", [], [("role", "main")]) (plain (text "main content")) <> plain (text "non-main content"))

79 ]

80 ]

81+ , askOption $ \(QuickCheckTests numtests) ->

80− , testProperty "Round trip" (withMaxSuccess 25 roundTrip)

82+ testProperty "Round trip" $

83+ withMaxSuccess (if QuickCheckTests numtests == defaultValue

84+ then 25

85+ else numtests) roundTrip

81 ]

86 ]

test/Tests/Readers/Muse.hs+6−1

@@ -8,6 +8,7 @@ import Data.Text (Text)

8import qualified Data.Text as T

9import Test.Tasty

10import Test.Tasty.QuickCheck

11+import Test.Tasty.Options (IsOption(defaultValue))

11import Tests.Helpers

12import Tests.Helpers

12import Text.Pandoc

13import Text.Pandoc

13import Text.Pandoc.Arbitrary ()

14import Text.Pandoc.Arbitrary ()

@@ -262,7 +263,11 @@ tests =

262 ]

263 ]

263

264

264 , testGroup "Blocks"

265 , testGroup "Blocks"

266+ [ askOption $ \(QuickCheckTests numtests) ->

265− [ testProperty "Round trip" (withMaxSuccess 25 roundTrip)

267+ testProperty "Round trip" $

268+ withMaxSuccess (if QuickCheckTests numtests == defaultValue

269+ then 25

270+ else numtests) roundTrip

266 , "Block elements end paragraphs" =:

271 , "Block elements end paragraphs" =:

267 T.unlines [ "First paragraph"

272 T.unlines [ "First paragraph"

268 , "----"

273 , "----"