Unit testing and mock framework for the Mercury programming language. Supports automatic result comparison, typeclass mocking, event and IO mocking, testing multi and nondet predicates, and a builtin library of mocks and comparison functions to make testing most code easy without writing any further boilerplate.
Fork