projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6203bcb) | patch
Fix dependencies for stats options (#6378)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Fri, 16 Apr 2021 15:12:03 +0000 (17:12 +0200)
committerGitHub <noreply@github.com>
Fri, 16 Apr 2021 15:12:03 +0000 (15:12 +0000)
commit353006984c0c7bbd1bd419c04e4bb873c7eee52a
treed82c08a7f2cc8c4bd6ea5899ebb1829124a36503tree
parent6203bcb456d5450770c8ac6cdb775ec0f73e0325commit | diff
Fix dependencies for stats options (#6378)

A last-minute edit in a previous PR broke the handling of dependencies between the statistic options.
src/options/options_handler.cpp diff | blob | history