projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 161bf31) | patch
give an option error if the user specifies --proof in a non-proof-enabled build
authorMorgan Deters <mdeters@gmail.com>
Wed, 2 Nov 2011 13:05:11 +0000 (13:05 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 2 Nov 2011 13:05:11 +0000 (13:05 +0000)
commitd183c7e68eb5b191fcc9d52eaeb86ce1211ba9f7
treed6f32a141dd1767a4ae558c55475c74b756fa43atree
parent161bf31cfa76271542790ec9a2c052e35d6bb1cbcommit | diff
give an option error if the user specifies --proof in a non-proof-enabled build
src/util/options.cpp diff | blob | history