Test.DejaFu.Utils

Utility functions for users of dejafu.

Traces

showTrace :: Trace -> String

Pretty-print a trace, including a key of the thread IDs (not including thread 0). Each line of the key is indented by two spaces.

Since: 0.5.0.0

threadNames :: Trace -> [(Int, String)]

Get all named threads in the trace.

Since: 0.7.3.0

simplestsBy :: (x -> x -> Bool) -> [(x, Trace)] -> [(x, Trace)]

Find the "simplest" trace leading to each result.

Failures

showFail :: Failure -> String

Pretty-print a failure

Since: 0.4.0.0

Scheduling

tidOf :: ThreadId -> Decision -> ThreadId

Get the resultant thread identifier of a Decision, with a default case for Continue.

Since: 0.5.0.0

decisionOf

Arguments

:: Foldable f

=> Maybe ThreadId

The prior thread.

-> f ThreadId

The threads.

-> ThreadId

The current thread.

-> Decision

Get the Decision that would have resulted in this thread identifier, given a prior thread (if any) and collection of threads which are unblocked at this point.

Since: 0.5.0.0