mirror of
https://github.com/barrucadu/dejafu.git
synced 2024-12-24 14:03:16 +03:00
Fix comment
This commit is contained in:
parent
981169c25f
commit
9745357817
@ -17,9 +17,7 @@ import qualified Control.Monad.Conc.Fixed.IO as CIO
|
|||||||
-- * SCT Runners
|
-- * SCT Runners
|
||||||
|
|
||||||
-- | An SCT runner using a pre-emption bounding scheduler. Schedules
|
-- | An SCT runner using a pre-emption bounding scheduler. Schedules
|
||||||
-- will be explored systematically, starting with all
|
-- are explored systematically, in a depth-first fashion.
|
||||||
-- pre-emption-count zero schedules, and gradually adding more
|
|
||||||
-- pre-emptions.
|
|
||||||
sctPreBound :: Int
|
sctPreBound :: Int
|
||||||
-- ^ The pre-emption bound. Anything < 0 will be
|
-- ^ The pre-emption bound. Anything < 0 will be
|
||||||
-- interpreted as 0.
|
-- interpreted as 0.
|
||||||
|
Loading…
Reference in New Issue
Block a user