diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-08-23 15:45:38 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-23 20:45:38 +0000 |
| commit | b272d60452028025d56dbf6ffe10276d6f9281cb (patch) | |
| tree | e93bc1cafe5fdd50c110e84e629dcaa58a233228 /test/regress/regress0/simple-uf.smtv1.smt2 | |
| parent | c94008073d2b9ddec19ca9713d0c30eb41777eb6 (diff) | |
Fix single invocation partition for higher-order (#7046)
It was not robust to cases where a function-to-synthesize occurred in a higher-order context.
Also does general clean up of the single invocation utility.
Diffstat (limited to 'test/regress/regress0/simple-uf.smtv1.smt2')
0 files changed, 0 insertions, 0 deletions