projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8cb3b8) | patch
Some cleanup in `mkoptions.py` (#6667)
authorGereon Kremer <nafur42@gmail.com>
Fri, 4 Jun 2021 00:14:27 +0000 (02:14 +0200)
committerGitHub <noreply@github.com>
Fri, 4 Jun 2021 00:14:27 +0000 (00:14 +0000)
commitb68e0636fb839142f1515fc8551ade09d3ed1a5d
treecb44b843e6f9aa18f112b1dca0d00a0ebab52a29tree
parentd8cb3b8695ac70146a0801553afeda6b2c93458fcommit | diff
Some cleanup in `mkoptions.py` (#6667)

This PR does some general cleanup in the mkoptions.py script: removal of obsolete code and some fixes to the comments.
src/options/mkoptions.py diff | blob | history