documentation tweaks and renaming

fmidue · Aug 27, 2024 · 4ca2d71 · 4ca2d71
1 parent b78dbca
commit 4ca2d71
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/src/Test/IOTasks.hs b/src/Test/IOTasks.hs
@@ -38,7 +38,7 @@ module Test.IOTasks (
   not',
   (.&&.), (.||.),
   true, false,
-  -- ** Embedded literals
+  -- ** Embedded values
   embeddedLit,
   -- ** Simple list functions
   sum', product', length', reverse',

diff --git a/src/Test/IOTasks/Random/Testing.hs b/src/Test/IOTasks/Random/Testing.hs
@@ -43,7 +43,7 @@ data Args
   -- | size of randomly generated input candidates (the solver might find bigger solutions)
   , valueSize :: Integer
   -- | maximum number of generated tests
-  , maxSuccess :: Int
+  , numberOfTests :: Int
   -- | maximum number of negative inputs per path (for 'InputMode' 'UntilValid')
   , maxNegative :: Int
   -- | print extra information
@@ -60,7 +60,7 @@ stdArgs :: Args
 stdArgs = Args
   { maxInputLength = Nothing
   , valueSize = 100
-  , maxSuccess = 100
+  , numberOfTests = 100
   , maxNegative = 5
   , terminalOutput = True
   , feedbackStyle = defaultFeedback
@@ -77,7 +77,7 @@ taskCheckOutcome = taskCheckWithOutcome stdArgs
 taskCheckWithOutcome :: Args -> IOrep () -> Specification -> IO Outcome
 taskCheckWithOutcome Args{..} prog spec  = do
   output <- newOutput stdout
-  (outcome, _to) <- foldM (\(o',to) n -> first (o' <>) <$> test output n to) (mempty,0) [0..maxSuccess-1]
+  (outcome, _to) <- foldM (\(o',to) n -> first (o' <>) <$> test output n to) (mempty,0) [0..numberOfTests-1]
   printP output $ printOutcomeWith feedbackStyle outcome
   pure outcome