projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 62ed33c) | patch
Skip sygus-rr-synth-check regressions when ASAN on (#2651)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 18 Oct 2018 05:24:02 +0000 (22:24 -0700)
committerGitHub <noreply@github.com>
Thu, 18 Oct 2018 05:24:02 +0000 (22:24 -0700)
commit86eedb9ce9d4ea399997fd6fbdfe41f99ac22453
tree4776563db3caeacf63ae9465b8d4f53d68608ed8tree
parent62ed33cb855dc2c86d1fe4342b5cc6217e03910fcommit | diff
 Skip sygus-rr-synth-check regressions when ASAN on (#2651)

This commit disables three regressions when using an ASAN build. The
regressions are all leaking memory when invoking the subsolver (see
issue #2649). Debugging the issue will take a while but is not very
critical since this feature is currently only used by CVC4 developers
but it prevents our nightly builds from going through.
test/regress/regress1/rr-verify/bv-term.sy diff | blob | history
test/regress/regress1/rr-verify/fp-arith.sy diff | blob | history
test/regress/regress1/rr-verify/fp-bool.sy diff | blob | history