Michael Walker
02e0442b84
dejafu-1.8.0.0, hunit-dejafu-1.2.0.3, tasty-dejafu-1.2.0.4 releases
2018-06-03 11:29:25 +01:00
Michael Walker
e6610c9d3d
dejafu-1.7.0.0, hunit-dejafu-1.2.0.2, tasty-dejafu-1.2.0.3 releases
2018-06-03 02:46:00 +01:00
Michael Walker
e60ed883cd
dejafu-1.6.0.0 + {hunit,tasty}-dejafu-1.2.0.1 release
2018-05-11 02:16:32 +01:00
Michael Walker
0e00f8aec3
Prepare releases
2018-03-28 19:05:15 +01:00
Michael Walker
35c2069b89
Drop GHC 7.10 support
2018-03-25 10:28:20 +01:00
Michael Walker
2a3f442e95
Prepare dejafu, hunit-dejafu, tasty-dejafu release
2018-03-17 18:43:16 +00:00
Michael Walker
34f6358e86
Remove mentions of docs.barrucadu.co.uk
2018-03-11 22:49:51 +00:00
Michael Walker
426fc4e1a1
Prepare concurrency, dejafu, hunit-dejafu releases
2018-03-11 20:19:04 +00:00
Michael Walker
a0a8652121
Bump exceptions upper bound in hunit-dejafu
2018-03-11 20:16:39 +00:00
Michael Walker
d1d3f186b7
Prepare dejafu, hunit-dejafu, and tatsy-dejafu release
2018-03-06 18:57:27 +00:00
Michael Walker
20178ef751
Prepare dejafu, hunit-dejafu, and tasty-dejafu release
2018-03-06 17:25:49 +00:00
Michael Walker
35ebd2bdc6
Add *WithSettings to Test.HUnit.DejaFu and deprecate *Discard
2018-03-04 12:38:51 +00:00
Michael Walker
c36685b53e
Make all settings other than Way and MemType optional
2018-03-04 02:56:08 +00:00
Michael Walker
75a02b90da
Prepare release of concurrency, dejafu, and hunit-dejafu
2018-02-26 20:10:53 +00:00
Michael Walker
3c1ddeb570
Bump upper bound of exceptions for hunit-dejafu
2018-02-26 20:10:53 +00:00
Michael Walker
ff45adcd74
Prepare for release
2018-02-22 19:00:44 +00:00
Michael Walker
4181a9dab6
Rewrite hunit-dejafu changelog
2018-02-16 18:38:22 +00:00
Michael Walker
9cc01477de
Prepare for hunit-dejafu-1.0.1.0 release
2018-02-13 18:57:19 +00:00
Michael Walker
7fcebe366c
Add CHANGELOG entries
2018-02-13 18:57:19 +00:00
Michael Walker
0ae3bc42c1
Add testDejafusDiscard to HUnit
2018-02-13 18:57:19 +00:00
Michael Walker
327e3af558
hunit-dejafu-1.0.0.0 release
2017-12-23 13:17:10 +00:00
Michael Walker
f310c60bc5
Update copyright years
2017-12-13 07:24:18 +00:00
Michael Walker
81bcb5a351
Split up Test.DejaFu.Common
2017-12-12 14:07:22 +00:00
Michael Walker
5ee2590f0e
Rework docs
...
Closes #146
Closes #147
Closes #156
2017-12-12 14:07:22 +00:00
Michael Walker
020e3967f7
Change order of arguments to test functions
...
1. Discard function (if present)
2. Way (if present)
3. Memory type (if present)
4. Name of test
5. Predicate
6. Action
For multi-predicate functions, 4 and 5 are replaced with a list.
2017-12-12 14:07:22 +00:00
Michael Walker
6644bf76ef
Remove _casesChecked from Result
...
It's now almost meaningless how many cases were examined before
finding a failure given that, ideally, only failures will be returned
at all.
2017-12-12 14:07:22 +00:00
Michael Walker
db95dde7df
Give predicates discard functions
2017-12-12 14:07:22 +00:00
Michael Walker
6eaae0a589
Wrap predicate functions in a newtype & separate ty params
...
Also adds a Functor and Profunctor instance for predicates. The old
predicate type is kept as an alias for the (common) case where both
tyvars are the same.
2017-12-12 14:07:22 +00:00
Michael Walker
45256193c0
Implement bound threads
...
This also adds forkOS(N) and isCurrentThreadBound to MonadConc, a
breaking change.
Note: forkOSWithUnmask(N) is NOT added to MonadConc, as it isn't
supported in base-4.8 (GHC 7.10). See #132 for the action on this.
A bound thread under test gets a dedicated worker thread, which is
forked bound using the underlying MonadConc. This worker is used for
all lifted actions, with execution as normal otherwise.
2017-12-12 14:06:59 +00:00
Michael Walker
31d29c11ea
Require a 'MonadConc n' instance to run 'ConcT r n' expressions
...
This is preparation for adding bound threads. The instance isn't used
in this commit, but the diff is large enough that I feel this should
be a separate commit for ease of review.
Fallout:
- The MonadBaseControl IO instance is gone, as I'm not sure how to do
it generally.
- The pure/IO split is gone, everything is now monadic.
- The execution, SCT, and dejafu functions are of the form (MonadConc
n, MonadRef r n) => ...
2017-12-12 14:06:59 +00:00
Michael Walker
99cae72b42
Pick version numbers for next-supermajor release
2017-12-12 14:06:59 +00:00
Michael Walker
d750342c77
hunit-dejafu-0.7.1.1 and tasty-dejafu-0.7.1.1 releases
2017-11-30 22:08:56 +00:00
Michael Walker
fa1836c3a8
Add missing haddock @since annotations
2017-11-30 22:08:38 +00:00
Michael Walker
82966c43f3
hunit-dejafu-0.7.1.0 and tasty-dejafu-0.7.1.0 releases
2017-11-30 21:43:12 +00:00
Michael Walker
417415937a
Add testPropertyFor to {hunit,tasty}-dejafu
...
Closes #159
2017-11-30 21:40:25 +00:00
Michael Walker
a0801d65eb
Fix new hlint warnings
2017-11-20 19:25:48 +00:00
Michael Walker
fa7d4bf445
Use MIN_TOOL_VERSION_ghc rather than __GLASGOW_HASKELL_
2017-10-28 17:26:52 +01:00
Michael Walker
31c4b9606a
dejafu-0.9.0.0 & {tasty,hunit}-dejafu-0.7.0.2 releases
2017-10-11 10:34:26 +01:00
Michael Walker
6c4e64007f
Release dejafu-0.8.0.0, {hunit,tasty}-dejafu-0.7.0.1
2017-09-26 17:22:08 +01:00
Michael Walker
b0f6aa5c7e
Adjust changelog format
2017-08-19 16:38:39 +01:00
Michael Walker
4d05ef6798
Release
2017-08-10 21:51:11 +01:00
Michael Walker
3ab42c4936
Expose discard functions from Test.HUnit.DejaFu
2017-08-10 16:45:29 +01:00
Michael Walker
a0a5a493d5
Bump versions for release
2017-06-07 17:09:01 +01:00
Michael Walker
6b1fd17024
Implement uniform random scheduling
...
Adds a new `uniformly` smart constructor and `sctUniformRandom`
function.
Also renames `sctRandom` to `sctWeightedRandom`.
2017-06-07 16:50:56 +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
748a55d813
Re-export Test.DejaFu.Refinement from Test.DejaFu
2017-06-07 14:25:55 +01:00
Michael Walker
e785e51ddc
Expose refinement properties in hunit-dejafu and tasty-dejafu
2017-06-07 14:20:04 +01:00
Michael Walker
9af76cc4f2
hunit-dejafu-0.5.0.0
2017-04-08 21:15:32 +01:00
