Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Miscellaneous bugfixes #23

Closed
wants to merge 3 commits into from
Closed

Miscellaneous bugfixes #23

wants to merge 3 commits into from

Commits on Dec 14, 2023

  1. Fix GCC -Wreturn-type warnings 

    Always return false in PowersetAbstractDomain::contains() and
SmallSortedSetAbstractDomain::contains() to avoid a gcc warning. On
debug builds, this will instead trigger an assertion failure.
    @Technius
    Technius committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    fdbef97 View commit details
    Browse the repository at this point in the history

  2. Only add test targets if testing is enabled 

    This commit ensures that test targets are only added if BUILD_TESTING is
enabled when generating the CMake configuration. There should be no
change in behavior, as BUILD_TESTING defaults to ON.
    @Technius
    Technius committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    e5d1dbc View commit details
    Browse the repository at this point in the history

  3. Fix install interface to use CMAKE_INSTALL_INCLUDEDIR 

    Currently, the sparta target will use `$CMAKE_INSTALL_PREFIX/include` as
the include directory when installed. If the user sets a custom
CMAKE_INSTALL_INCLUDEDIR, however, then this will not be the correct
location. This commit changes the include directory of the sparta target
to be consistent with the actual installed location.
    @Technius
    Technius committed Dec 14, 2023
    Configuration menu
    Copy the full SHA
    4b617ae View commit details
    Browse the repository at this point in the history