gecode
gecode copied to clipboard
CMake: improve handling of `gecode-test`
Ensure that it gets built when testing is enabled, and that CMake actually uses said executable target, and not some binary.
That being said, the test does not pass with assertions enabled: https://github.com/Gecode/gecode/issues/200