diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-11-05 20:26:33 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-06 01:26:33 +0000 |
| commit | d93e02dc254fea6c9d56194f21649cc18f29aafe (patch) | |
| tree | e21dd0bafa7c8f843a224e03361f2119de5d55da /test/regress/regress1/abduction/abduction_streq.readable.smt2 | |
| parent | 733ab2f6b9430b2ae5824e2614de5811a60033f3 (diff) | |
Do not use extended rewrites on recursive function definitions (#7549)
Leads to potential non-idempotent behavior in the rewriter.
The issue cannot be replicated on master, but this safe guards this case anyways.
Fixes #5278.
Diffstat (limited to 'test/regress/regress1/abduction/abduction_streq.readable.smt2')
0 files changed, 0 insertions, 0 deletions