projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d183c7e) | patch
Only print a shortlist of most-commonly-used options on option processing errors...
authorMorgan Deters <mdeters@gmail.com>
Wed, 2 Nov 2011 13:55:48 +0000 (13:55 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 2 Nov 2011 13:55:48 +0000 (13:55 +0000)
commitb5fd5b61a9f0f993703497fb1c8d678cf2d8bb01
tree84893172fe9b731e42bf8b5b9103237c06c56252tree
parentd183c7e68eb5b191fcc9d52eaeb86ce1211ba9f7commit | diff
Only print a shortlist of most-commonly-used options on option processing errors; reduces clutter, increases usability
src/main/main.cpp diff | blob | history
src/util/options.cpp diff | blob | history
src/util/options.h diff | blob | history