mirror of
https://github.com/barrucadu/dejafu.git
synced 2024-12-21 12:31:41 +03:00
Derive some missing Eq
instances.
This commit is contained in:
parent
5f555b9f61
commit
730ae46609
dejafu/Test
@ -398,7 +398,7 @@ data Result a = Result
|
||||
-- ^ The failing cases, if any.
|
||||
, _failureMsg :: String
|
||||
-- ^ A message to display on failure, if nonempty
|
||||
} deriving Show
|
||||
} deriving (Eq, Show)
|
||||
|
||||
-- | A failed result, taking the given list of failures.
|
||||
defaultFail :: [(Either Failure a, Trace)] -> Result a
|
||||
|
@ -132,7 +132,7 @@ data IdSource = Id
|
||||
, _usedMVNames :: [String]
|
||||
, _usedTVNames :: [String]
|
||||
, _usedTNames :: [String]
|
||||
}
|
||||
} deriving (Eq, Ord, Show)
|
||||
|
||||
-- | Get the next free 'CRefId'.
|
||||
nextCRId :: String -> IdSource -> (IdSource, CRefId)
|
||||
|
@ -52,7 +52,7 @@ data DPOR = DPOR
|
||||
, dporAction :: Maybe ThreadAction
|
||||
-- ^ What happened at this step. This will be 'Nothing' at the root,
|
||||
-- 'Just' everywhere else.
|
||||
} deriving Show
|
||||
} deriving (Eq, Show)
|
||||
|
||||
-- | One step of the execution, including information for backtracking
|
||||
-- purposes. This backtracking information is used to generate new
|
||||
@ -71,7 +71,7 @@ data BacktrackStep = BacktrackStep
|
||||
-- alternatives were added conservatively due to the bound.
|
||||
, bcktState :: DepState
|
||||
-- ^ Some domain-specific state at this point.
|
||||
} deriving Show
|
||||
} deriving (Eq, Show)
|
||||
|
||||
-- | Initial DPOR state, given an initial thread ID. This initial
|
||||
-- thread should exist and be runnable at the start of execution.
|
||||
@ -311,7 +311,7 @@ data DPORSchedState = DPORSchedState
|
||||
, schedDepState :: DepState
|
||||
-- ^ State used by the dependency function to determine when to
|
||||
-- remove decisions from the sleep set.
|
||||
} deriving Show
|
||||
} deriving (Eq, Show)
|
||||
|
||||
-- | Initial DPOR scheduler state for a given prefix
|
||||
initialDPORSchedState :: Map ThreadId ThreadAction
|
||||
@ -499,7 +499,7 @@ data RandSchedState g = RandSchedState
|
||||
-- ^ The thread weights: used in determining which to run.
|
||||
, schedGen :: g
|
||||
-- ^ The random number generator.
|
||||
}
|
||||
} deriving (Eq, Show)
|
||||
|
||||
-- | Initial weighted random scheduler state.
|
||||
initialRandSchedState :: g -> RandSchedState g
|
||||
|
Loading…
Reference in New Issue
Block a user