8 Commits

Author	SHA1	Message	Date
Michael Walker	6788274f7f	async-dejafu now requires dejafu-0.4	2016-07-21 19:33:49 +01:00
Michael Walker	c742da2bfd	Drop _concKnows stuff and fix litmus tests. ... Removing the stuff broke some of the litmus tests, which is bad. It probably means that those actions were being put into sleep sets, and so hiding actually interesting interleavings from the POR implementation. I need to improve the lookahead behaviour to ignore these invisible actions. Closes #46.	2016-07-21 19:33:49 +01:00
Michael Walker	8b4785f51b	Fix async-dejafu tests	2016-05-01 21:56:17 +01:00
Michael Walker	6321e42265	Enable withasync_wait2 test	2015-11-03 00:21:33 +00:00
Michael Walker	0b5a0f0235	Enable async_cancel test in async-dejafu	2015-11-01 15:46:30 +00:00
Michael Walker	4e5e52f92a	Move 'gives' into Test.DejaFu	2015-10-27 15:18:12 +00:00
Michael Walker	3d1d287787	Use PF bounding in {hunit,tasty}-dejafu	2015-10-26 23:11:30 +00:00
Michael Walker	fd35e9c1b4	Add async-dejafu tests	2015-10-25 22:53:54 +00:00