diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-05-19 19:34:18 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-19 19:34:18 -0500 |
| commit | 9712a20e6585728c7d0453e64e1e3b06a7d37b7f (patch) | |
| tree | b6941ff3df53fe92b0a1b9ea867c43ce2bb7d014 /src/theory/bv/theory_bv.cpp | |
| parent | c8f149fa83fa16f821f37687fedfa778808809bd (diff) | |
Fix cached free variable identifiers in sygus term database (#4394)
Fixes an issue with over-pruning in SyGuS where using multiple sygus types that map to the same builtin type. Our mapping sygusToBuiltin did not ensure that free variables were unique.
Fixes #4383.
Diffstat (limited to 'src/theory/bv/theory_bv.cpp')
0 files changed, 0 insertions, 0 deletions