barrucadu/dejafu
1
1
Fork 0
mirror of https://github.com/barrucadu/dejafu.git synced 2024-12-18 19:11:37 +03:00
Code Issues Projects Releases Wiki Activity
762 Commits 2 Branches 194 Tags 3.4 MiB
e099b29597
Commit Graph

28 Commits

Author SHA1 Message Date
Michael Walker
a571368125 Include the exception in UncaughtException 
Closes #133
 2017-10-11 10:10:48 +01:00
Michael Walker
c769662fa5 Move regression tests to a new module 2017-09-20 20:45:47 +01:00
Michael Walker
8636fe9708 Remove top-level definitions of individual tests 2017-09-20 20:06:44 +01:00
Michael Walker
fb13d62218 Give test cases more descriptive names 2017-09-20 20:06:44 +01:00
Michael Walker
58ab0e2c2f Use a typeclass to simplify test group definitions 2017-09-19 23:17:02 +01:00
Michael Walker
a84368953f Add tests for the ticket casCRef returns 2017-09-06 16:03:28 +01:00
Michael Walker
1da31432a8 Add a test case for #111 2017-09-01 13:53:16 +01:00
Michael Walker
1146ce9b38 Add a smart constructor for constructing swarmy executions 
The `randomly` constructor now corresponds exactly to the old
`Randomly`.

Also refactor tests a bit.
 2017-06-07 16:50:56 +01:00
Michael Walker
fba26e6c73 Make Way abstract and expose smart constructors 2017-06-07 16:50:56 +01:00
Michael Walker
d65b8359a9 Allow re-using the weights for multiple executions in sctRandom 2017-06-07 16:45:43 +01:00
Michael Walker
c11f1d92db Test case for #81. 
This is a large diff because it pulls in a variant of QSemN.
 2017-05-03 23:09:56 +01:00
Michael Walker
efaf353920 Rename Conc to ConcT and turn into a MonadTrans. 
Closes #70.
 2017-04-08 20:59:05 +01:00
Michael Walker
0e59d9aa40 Add a basic test for uninterruptible masks. 
Closes #76.
 2017-03-04 05:36:32 +00:00
Michael Walker
c2f8ffe473 Add some CAS tests. 
Closes #75.
 2017-03-04 05:28:29 +00:00
Michael Walker
32f6887a1b Add tests for throwing exceptions to the main thread. 
Closes #74.
 2017-03-04 05:28:29 +00:00
Michael Walker
95eed7524c Add a test case to replicate issue 71. 2017-02-25 06:01:59 +00:00
Michael Walker
f2c6dc69f3 Add tests for random sctRandom. 2017-02-20 04:41:36 +00:00
Michael Walker
8fd3e5900b Messy implementation of subconcurrency. 
This makes `stepThread` messier, and doesn't actually prevent nesting
currently - although it does prevent usage when there are multiple
threads, which may be enough.
 2017-02-02 12:26:40 +00:00
Michael Walker
8b35ec9ef7 Propagate read TVars in orElse. 
Fixes #55.
 2016-07-21 18:53:26 +01:00
Michael Walker
b978476c8b Add a test case for #40. 2016-06-05 23:40:03 +01:00
Michael Walker
d4cb712b50 Make everything build with GHC 8 2016-05-26 13:54:13 +01:00
Michael Walker
4afca62119 Drop the lock and unlock MVar functions 2016-04-03 06:45:11 +01:00
Michael Walker
a1122405fe Less restrictive module exports in tests 2016-03-31 18:16:09 +01:00
Michael Walker
a4c2a1c235 Rename CVar -> MVar 2016-03-23 03:36:07 +00:00
Michael Walker
a1a78c7005 Rename CTVar -> TVar 2016-03-23 03:27:51 +00:00
Michael Walker
8b999595e3 Move modules to Control.Concurrent(.STM).Classy 2016-03-23 03:13:56 +00:00
Michael Walker
cae5704ac9 Enable building tests with GHC <7.10 2015-12-01 05:13:47 +00:00
Michael Walker
37a5886c83 Make a separate package for the test suite. Closes #31. 2015-12-01 05:07:56 +00:00