projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b53a48) | patch
Refactor option sanitizations (#7129)
authorGereon Kremer <nafur42@gmail.com>
Fri, 3 Sep 2021 19:12:13 +0000 (12:12 -0700)
committerGitHub <noreply@github.com>
Fri, 3 Sep 2021 19:12:13 +0000 (19:12 +0000)
commit86f0516f376983b703cb96e1a7cd2f9d39e8fd44
tree79f81513e70fc6e0b5cb7c1b2d96b958948a078ftree
parent8b53a48ce6041b98e3761c2a341f727bcaaf2686commit | diff
Refactor option sanitizations (#7129)

This PR refactors the code that performs sanity checks on the parsed option data.
src/options/mkoptions.py diff | blob | history