Test.DejaFu.Utils

Utility functions for users of dejafu.

Traces

toTIdTrace :: Trace -> [(ThreadId, ThreadAction)]

Turn a Trace into an abbreviated form.

Since: 1.3.2.0

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.

Conditions

showCondition :: Condition -> String

Pretty-print a condition

Since: 1.12.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