projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e449aa) | patch
Remove unused options handler (#8335)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 17 Mar 2022 17:14:57 +0000 (10:14 -0700)
committerGitHub <noreply@github.com>
Thu, 17 Mar 2022 17:14:57 +0000 (17:14 +0000)
commit169e32c8728a95128b4e78734f33d5ed53f32f1f
tree667ec470973275a8cb78303bf688cb7166b9a69dtree
parent4e449aaf39ef7e60eb721d4f6887b35d9386ad4dcommit | diff
Remove unused options handler (#8335)

The option --bitblast-aig was removed in #7455, but the corresponding
options handler was not. This commit removes the options handler.
src/options/options_handler.cpp diff | blob | history
src/options/options_handler.h diff | blob | history