projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f1a4096) | patch
Show if ASAN build in --show-config (#2650)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 18 Oct 2018 04:21:00 +0000 (21:21 -0700)
committerGitHub <noreply@github.com>
Thu, 18 Oct 2018 04:21:00 +0000 (21:21 -0700)
commit62ed33cb855dc2c86d1fe4342b5cc6217e03910f
tree95362b97fe35947a2e6113ec67aec3e49e5aa62ftree
parentf1a4096e579b101642c5a47eb5c8e90476ccc81acommit | diff
Show if ASAN build in --show-config (#2650)

This commit extends `--show-config` to show whether the current build is
an ASAN build or not. This is done by moving a detection that was
previously done for the unit tests into base/configuration_private.h.

In addition to being convenient, this allows us to easily exclude
regression tests from ASAN builds.
src/base/configuration.cpp diff | blob | history
src/base/configuration.h diff | blob | history
src/base/configuration_private.h diff | blob | history
src/options/options_handler.cpp diff | blob | history
test/unit/memory.h diff | blob | history