projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c47289) | patch
Support sygus standard command syntax set-feature (#7040)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 20 Aug 2021 02:34:45 +0000 (21:34 -0500)
committerGitHub <noreply@github.com>
Fri, 20 Aug 2021 02:34:45 +0000 (21:34 -0500)
commit45dd1c4f1695663ce0350ce71d72ec4b1850f043
treebd521109d1ba4795e1714c4b7c04eb5c6da20fe6tree
parent6c47289737ca3c9a1345d4bf5666eaed4011edcccommit | diff
Support sygus standard command syntax set-feature (#7040)

This currently has no effect other than giving an unsupported warning.

In the future, set-feature will be implemented via the appropriate call to Solver::setOption if necessary.

Fixes #6182.
src/parser/smt2/Smt2.g diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/sygus/setFeature.sy [new file with mode: 0644] blob