karelklic/canal — pull request #20 by xbrukner (2012-09-26 12:31:35+00:00)
Title: Unit tests

- Added new unit test for merge() methods of integer domains.
- Added OperationsTest and PointerTest to CMake.