diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-10-05 09:11:03 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-05 09:11:03 -0500 |
commit | ce593db9ebb3d7e2bfb196ec968ebc1d15f17201 (patch) | |
tree | b60f48a2f08f0aac8d6fb14723c5ff9d2edc6b4b /COPYING | |
parent | f56f46f5bb5845cff0c329926f51a0377379365b (diff) |
Minor change to how SyGus commands are translated to SmtEngine commands. This ensures a single success is printed for synth-fun and synth-inv. (#1193)
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions