diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-11-02 08:16:29 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-02 13:16:29 +0000 |
| commit | 7ea2ea8f708fc7b5e8ea370898fbcb8cbf487aec (patch) | |
| tree | 4b8f96bfea654df4877d290ec6e3c0585e83afd9 /test/regress/regress0/fmf/issue4872-qf_ufc.smt2 | |
| parent | b5849b2061c841926f7548858613223d1e805b21 (diff) | |
Add LFSC signature for quantifiers (#7540)
Also includes a fix for the Boolean signature. After the strings PR and this one, the initial LFSC signature is complete.
Diffstat (limited to 'test/regress/regress0/fmf/issue4872-qf_ufc.smt2')
0 files changed, 0 insertions, 0 deletions