dejafu-2.1.0.3: A library for unit-testing concurrent programs.

Index - -

->-Test.DejaFu.Refinement, Test.DejaFu