diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-21 16:38:26 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-21 16:38:26 -0500 |
commit | 0b04d88e3479d114d24173d71aa23992d620fe74 (patch) | |
tree | 0f788f906a9e010b7570f27d1610e9a0253a9af9 /src/smt/command.cpp | |
parent | a1b769fcb9ecdab7c09d7d7f05e4f87f54133076 (diff) |
Warn and enable quantifiers when using sygus + logics with QF (#2352)
Diffstat (limited to 'src/smt/command.cpp')
0 files changed, 0 insertions, 0 deletions