projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6312fb3) | patch
Check that alternate is only set for bool (#7125)
authorGereon Kremer <nafur42@gmail.com>
Fri, 3 Sep 2021 18:26:29 +0000 (11:26 -0700)
committerGitHub <noreply@github.com>
Fri, 3 Sep 2021 18:26:29 +0000 (18:26 +0000)
commitb500a7fd94cafc55f680f432ef35d6d927f13518
tree2d3a18f05ebbe6e04b5ad6217d41eb1d5c83d1detree
parent6312fb33949614fd3429c54cbfdae400dc64430dcommit | diff
Check that alternate is only set for bool (#7125)

This PR slightly changes how the alternate option property is handled and explicitly checks that alternate is only set for bool options.
src/options/mkoptions.py diff | blob | history