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
5accde895e
dejafu/dejafu-tests
History
Michael Walker 75fbad38a1 Rename Deterministic to Conc. 
Closes #45
2016-07-21 19:33:49 +01:00
..
Cases Rename Deterministic to Conc. 2016-07-21 19:33:49 +01:00
Examples Rename Deterministic to Conc. 2016-07-21 19:33:49 +01:00
Cases.hs Organise tests a little 2016-03-31 14:45:55 +01:00
dejafu-tests.cabal Split concurrency modules into a separate package. 2016-07-21 19:33:49 +01:00
Examples.hs Add the Search Party failing test example 2016-03-31 15:08:37 +01:00
LICENSE Make a separate package for the test suite. Closes #31. 2015-12-01 05:07:56 +00:00
Main.hs Organise tests a little 2016-03-31 14:45:55 +01:00
Setup.hs Make a separate package for the test suite. Closes #31. 2015-12-01 05:07:56 +00:00
Utils.hs Make a separate package for the test suite. Closes #31. 2015-12-01 05:07:56 +00:00