projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c8ede7) | patch
Require argument description for non-{bool,void} options. (#2228)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 27 Jul 2018 21:54:06 +0000 (14:54 -0700)
committerGitHub <noreply@github.com>
Fri, 27 Jul 2018 21:54:06 +0000 (14:54 -0700)
commit4d352cb642ef943215711411db7f6f16522b3688
treeb19f8350c326faca63f38c89c58c67956a4f9dfbtree
parent3c8ede75a164a884c115a648ef15fa66823f339ecommit | diff
Require argument description for non-{bool,void} options. (#2228)

Not adding the argument description for non-{bool,void} options is now an error.

Further, adds missing argument descriptions.
src/options/arith_options.toml diff | blob | history
src/options/arrays_options.toml diff | blob | history
src/options/bv_options.toml diff | blob | history
src/options/main_options.toml diff | blob | history
src/options/mkoptions.py diff | blob | history
src/options/quantifiers_options.toml diff | blob | history
src/options/smt_options.toml diff | blob | history