With the `WILL_FAIL` property, ctest will make the test success if it fails. The `cgal_test` script will not run it, because the file `will_fail.cpp` does not contain a `main` function.