projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a8b70c) | patch
Changing --no-early-type-checking to --no-type-checking
authorChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 20 Oct 2010 21:49:34 +0000 (21:49 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 20 Oct 2010 21:49:34 +0000 (21:49 +0000)
commit91829206b4783a532453eab3c69de83b8b510286
tree8b125cd8d849876eb91ab3ade96c15d5ecee891etree
parent5a8b70ca247b52f7ac3804bae71fdc09cd4fe8c3commit | diff
Changing --no-early-type-checking to --no-type-checking
Disabling type checking when --no-checking is given (Fixes: #221)
src/main/getopt.cpp diff | blob | history
src/main/main.cpp diff | blob | history
src/main/usage.h diff | blob | history