mirror of
https://github.com/barrucadu/dejafu.git
synced 2024-10-06 02:37:44 +03:00
75eac6693f
If the Maybe MaskingState is Just, then the thread survived; if it's Nothing the thread was killed. |
||
---|---|---|
.. | ||
exe | ||
lib | ||
dejafu-tests.cabal | ||
LICENSE | ||
Setup.hs |