projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f2bbc8c) | patch
Renaming pow2 to p2 in regression tests (#6675)
authoryoni206 <yoni206@users.noreply.github.com>
Thu, 3 Jun 2021 14:39:55 +0000 (07:39 -0700)
committerGitHub <noreply@github.com>
Thu, 3 Jun 2021 14:39:55 +0000 (09:39 -0500)
commitb61070cf03c30abe3ba5956596b88464053ff358
tree2dc078422c0c84825193b360499513828dbee9a7tree
parentf2bbc8c1f6d8f357693728fe4efb037c232e3d06commit | diff
Renaming pow2 to p2 in regression tests (#6675)

We plan to add a unary pow2 operator to cvc5, that is obtained from the binary operator pow by fixing the first argument to 2.
An initial working branch is here: https://github.com/yoni206/cvc5/tree/pow2

This PR does the first step, which is to rename some uninterpreted symbols in regression tests from pow2 to p2, to avoid clashing with the new operator.
test/regress/regress1/fmf/pow2-bool.smt2 diff | blob | history
test/regress/regress1/quantifiers/sygus-inst-ufnia-sat-t3_rw1505.smt2 diff | blob | history
test/regress/regress2/nl/ufnia-factor-open-proof.smt2 diff | blob | history