barrucadu / dejafu

Systematic concurrency testing meets Haskell.

https://dejafu.docs.barrucadu.co.uk/

barrucadu/dejafu Issues

Unable to carry `BoundedChan m a` in a `ReaderT` monad newtype
Closed a year ago2
Move `registerDelay` in `MonadConc`?
Updated a year ago
Inspecting `TMVar` and friends in `Invariant`
Updated a year ago
Exception not shown upon `InvariantFailure`
Updated a year ago1
Testcase with `STM` and `Async` not failing as expected
Updated a year ago2
Not sure if STM implementation is buggy wrt masking state
Closed 2 years ago5
Wrapping Data.Unique?
Updated 2 years ago
tasty-dejafu: How to name tests?
Closed 2 years ago4
GHC-9.0.x can't build concurrency
Closed 3 years ago1
newTVar isn't properly handled in snapshots
Closed 4 years ago
Use the real tasty-hedgehog library
Updated 4 years ago
DejaFu seems to incorrectly model this program
Closed 4 years ago1
Exception: (dejafu) trace exhausted without reading a to-do point!
Updated 4 years ago3
Another missing function: unsafeUnmask
Closed 4 years ago2
Infinite sleep doc suggestion
Updated 4 years ago
Consider a backpack-based implementation?
Updated 4 years ago4
Missing function: getMaskingState
Closed 4 years ago2
Control.Concurrent.Classy.STM is behind on bug fixes
Closed 4 years ago1
RFC: Distinguish between "blocking" STM (can retry) and non-blocking in MonadSTM hierarchy
Updated 4 years ago
What's the story behind removal of `ConcST`?
Closed 4 years ago5
Distribution of scheduling in random testing
Closed 4 years ago3
the @mkWeakTVar@ functions are -- not provided.
Closed 4 years ago2
Prevent slippage when determining representative traces
Closed 4 years ago
Make it more convenient / faster to run tests pre-commit
Closed 4 years ago1
Add a "note" function, to record a message in the trace
Closed 4 years ago
Add `evaluate` to `MonadConc`
Updated 5 years ago
newTVarIO is missing?
Closed 5 years ago2
[ doc ] Deriving your own instances
Updated 5 years ago
How would one use `dejafu` with `safe-exceptions` or `unliftio`?
Updated 5 years ago3
throwTo needs a special case for the current thread
Closed 5 years ago
Add an "abort" function, to terminate a test case early
Closed 5 years ago1
Control.Concurrent.Classy.STM.TSem is missing
Closed 6 years ago
Trace simplification "commit collapsing" is unsound in general
Closed 6 years ago
Monadic schedulers?
Closed 6 years ago1
SCT statistics
Closed 6 years ago1
Monadic callbacks in SCT
Closed 6 years ago1
profunctors <6.0 will allow profunctors-6 when/if it will be ever released
Closed 6 years ago1
Automate the release process with Travis
Closed 6 years ago
Rename CRef to IORef
Closed 6 years ago
The unit testing docs refer to the (nonexistent) *IO functions
Closed 6 years ago
Thread-safe liftIO
Closed 6 years ago
Highlight failures in tests
Closed 6 years ago
Disable length bounding by default
Closed 6 years ago
Remove swarmy
Closed 6 years ago
GHC 8.4
Closed 6 years ago3
Dependency function is not always commutative when both actions are throwTo
Closed 6 years ago
Missing dependency for setNumCapabilities / setNumCapabilities
Closed 6 years ago
Opaque "settings" type for SCT
Closed 6 years ago3
`dontCheck` must be first thing not always enforced, can cause spurious test success
Closed 6 years ago3
Somewhat ambiguous property docs
Closed 6 years ago2