8 Commits

Author	SHA1	Message	Date
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	d3062234fa	Make Way a GADT. ... Closes #65.	2017-04-08 20:57:25 +01:00
Michael Walker	f2c6dc69f3	Add tests for random sctRandom.	2017-02-20 04:41:36 +00:00
Michael Walker	f5bf9da038	Update dejafu-tests for new hunit-dejafu interface.	2017-02-20 03:23:46 +00:00
Michael Walker	f89b4d81e8	Move the rest of the generic SCT stuff to DPOR	2016-04-03 05:07:34 +01:00
Michael Walker	a1122405fe	Less restrictive module exports in tests	2016-03-31 18:16:09 +01:00
Michael Walker	9e68038e2b	Add AutoUpdate example to tests	2016-03-31 14:37:02 +01:00