Skip parse-error regression for comp builds (#4567)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 5 Jun 2020 19:16:11 +0000 (12:16 -0700)
committerGitHub <noreply@github.com>
Fri, 5 Jun 2020 19:16:11 +0000 (12:16 -0700)
commit34ca2f205a8b1b6c514640a0cdaeec173872c8f7
treedfb91ded34e7a48d533581e82801ce794b7c22ba
parente9c29bb348bd8fab5cedc48ab96ce2a0e6f98078
Skip parse-error regression for comp builds (#4567)

Fixes nightlies. Competition builds do not report parsing errors like
other builds. As a result, one of the regression tests that is testing
for parse errors was failing for competition builds. In this particular
example, we just report `unknown`. This commit marks the regression to
be skipped for competition builds.
test/regress/regress0/quantifiers/issue4437-unc-quant.smt2