projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 53a611a) | patch
[Regressions] Disable ASan on slow regression (#8882)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 15 Jun 2022 19:45:46 +0000 (12:45 -0700)
committerGitHub <noreply@github.com>
Wed, 15 Jun 2022 19:45:46 +0000 (12:45 -0700)
commitf91416fe02259d5f100c47c3e5b0b23737c8b628
tree7ad98a233bd3529a543b02e91563d3b0aed5688ftree
parent53a611aada1a274f0964c12cd7d72e5321e2976fcommit | diff
[Regressions] Disable ASan on slow regression (#8882)

This should fix one of our Buildbot failures.
test/regress/cli/regress1/arith/issue3480.smt2 diff | blob | history