projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7b72469) | patch
correctly parse sygus lang option (#4884)
authorE Polgreen <epolgreen@gmail.com>
Fri, 14 Aug 2020 17:19:09 +0000 (10:19 -0700)
committerGitHub <noreply@github.com>
Fri, 14 Aug 2020 17:19:09 +0000 (10:19 -0700)
commitee055dddf887ed001fee1834ba845fb81e20e27e
tree5dd5e79e1cffb9b9619fe26050dda9614af500d2tree
parent7b7246935910173c67917ee947639ac8ab450edccommit | diff
correctly parse sygus lang option (#4884)

--lang sygus is a synonym for --lang sygus2
also fixes typo in error message for language options parsing

Signed-off-by: polgreen <epolgreen@gmail.com>
src/options/language.cpp diff | blob | history
src/options/options_handler.cpp diff | blob | history