diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-12-02 11:12:10 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-02 17:12:10 +0000 |
| commit | 4270c3d6b8fa45e66a79c928267a0757954d8004 (patch) | |
| tree | ce94eadad454d448cf0da2e42d5b1c9cca5ac0d2 /src/smt/proof_final_callback.cpp | |
| parent | 9d563b2963835b2a4e6ab19bdf5a5b21d934416e (diff) | |
Fixes for sygus-rr-synth-input (#7716)
Includes aborting when no non-constant subterms exist, a spurious assertion failure, and bad variable names.
Fixes cvc5/cvc5-projects#351
Fixes cvc5/cvc5-projects#353
Diffstat (limited to 'src/smt/proof_final_callback.cpp')
0 files changed, 0 insertions, 0 deletions