gecode
                                
                                 gecode copied to clipboard
                                
                                    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