projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a1c1b38) | patch
Automatically make SMT options from command-line option names, warn when not possible.
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 4 Apr 2014 18:50:02 +0000 (14:50 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Sat, 28 Jun 2014 20:04:46 +0000 (16:04 -0400)
commit7c009ac38ef5ccda070d8d7fb3955273574e94eb
treeb640bbd238973938f73d0c8464f1ebb1e8fd8423tree
parenta1c1b38e42f16ba942ddb029409a942907ed0d24commit | diff
Automatically make SMT options from command-line option names, warn when not possible.
src/options/mkoptions diff | blob | history