projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f91416f) | patch
Disable parser regression for competition builds (#8884)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 15 Jun 2022 20:53:41 +0000 (13:53 -0700)
committerGitHub <noreply@github.com>
Wed, 15 Jun 2022 20:53:41 +0000 (13:53 -0700)
commit862dc352738cf0c8004bf478a5715914d45ce8d6
treee62060de5ad90addfc121a2fe2309cd1aec8139ctree
parentf91416fe02259d5f100c47c3e5b0b23737c8b628commit | diff
Disable parser regression for competition builds (#8884)

Competition builds do not print parser errors. This leads to a Buildbot
failure on one of our regressions for the competition build. Thus, this
commit changes the failing regression to be skipped for competition
builds.
test/regress/cli/regress0/nl/proj-issue-425.smt2 diff | blob | history