projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 43f6eb5) | patch
Eliminate more static options accesses (#8802)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 25 May 2022 19:43:04 +0000 (14:43 -0500)
committerGitHub <noreply@github.com>
Wed, 25 May 2022 19:43:04 +0000 (19:43 +0000)
commitb02943d28e641ff894c50bee810309b783731555
tree9fa569513cf5a17e6c8580d9c28fe2be65612866tree
parent43f6eb50ca934b2c0d142fcd4d6b571a8789676fcommit | diff
Eliminate more static options accesses (#8802)

A block of code changed indentation in the induction solver, this is cleaned to conform to guidelines.
src/options/quantifiers_options.toml diff | blob | history
src/theory/difficulty_manager.cpp diff | blob | history
src/theory/difficulty_manager.h diff | blob | history
src/theory/quantifiers/conjecture_generator.cpp diff | blob | history
src/theory/relevance_manager.cpp diff | blob | history
test/regress/cli/regress2/sygus/issue4022-conjecture-gen.smt2 diff | blob | history