projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 014ff8c) | patch
Exclude competition build for issue8377-resolve-indexed.smt2. (#8468)
authorMathias Preiner <mathias.preiner@gmail.com>
Wed, 30 Mar 2022 23:04:16 +0000 (16:04 -0700)
committerGitHub <noreply@github.com>
Wed, 30 Mar 2022 23:04:16 +0000 (23:04 +0000)
commitb62070dc7a819b092a27f416349d091ac60bb6e4
tree5318485d0603269bb9e1f424192a4ccde5a6eee6tree
parent014ff8cdd6294f4b1375888c11dc8a1f3a5de0d4commit | diff
Exclude competition build for issue8377-resolve-indexed.smt2. (#8468)

Fixes the nightly competition builds.
test/regress/cli/regress0/parser/issue8377-resolve-indexed.smt2 diff | blob | history