projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f56f46f) | patch
Minor change to how SyGus commands are translated to SmtEngine commands. This ensures...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 5 Oct 2017 14:11:03 +0000 (09:11 -0500)
committerGitHub <noreply@github.com>
Thu, 5 Oct 2017 14:11:03 +0000 (09:11 -0500)
commitce593db9ebb3d7e2bfb196ec968ebc1d15f17201
treeb60f48a2f08f0aac8d6fb14723c5ff9d2edc6b4btree
parentf56f46f5bb5845cff0c329926f51a0377379365bcommit | 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)
src/parser/smt2/Smt2.g diff | blob | history