diff options
| author | yoni206 <yoni206@users.noreply.github.com> | 2021-06-03 07:39:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-03 09:39:55 -0500 |
| commit | b61070cf03c30abe3ba5956596b88464053ff358 (patch) | |
| tree | 2dc078422c0c84825193b360499513828dbee9a7 /test/regress/regress0/quantifiers/bug290.smt2 | |
| parent | f2bbc8c1f6d8f357693728fe4efb037c232e3d06 (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.
Diffstat (limited to 'test/regress/regress0/quantifiers/bug290.smt2')
0 files changed, 0 insertions, 0 deletions