projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 52f02c0) | patch
Fix statistics option handler (#6703)
authorGereon Kremer <nafur42@gmail.com>
Tue, 8 Jun 2021 15:21:45 +0000 (17:21 +0200)
committerGitHub <noreply@github.com>
Tue, 8 Jun 2021 15:21:45 +0000 (15:21 +0000)
commit6b7e493bb78c86876e51e2e706bdeb4d33958798
tree681eec07063dff4b6fdcfd7a1980cf91e65b6a6atree
parent52f02c087ca45a65c1e483faab32ac2078106aa0commit | diff
Fix statistics option handler (#6703)

This PR fixes a typo in the option handler for the statistics options, which lead to options not properly propagating.
src/options/options_handler.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/options/statistics.smt2 [new file with mode: 0644] blob