projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3a1b36b) | patch
Simplify generated code for getOption() and setOption() (#6462)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Thu, 29 Apr 2021 16:20:36 +0000 (18:20 +0200)
committerGitHub <noreply@github.com>
Thu, 29 Apr 2021 16:20:36 +0000 (16:20 +0000)
commit13499235189b644fc194680afd5b37378d794c09
treebdff5c91c648d882eda6a547a05a6774ceac6758tree
parent3a1b36b7471cb3c9e26f3f4cbdb34ca42ba42d80commit | diff
Simplify generated code for getOption() and setOption() (#6462)

This PR simplifies the generated code for Options::getOption() and Options::setOption(). It now uses less string streams, less temporary vectors and the new options[...] syntax (instead of options::...().
src/options/mkoptions.py diff | blob | history