projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c43b80) | patch
Changing getTearDownIncremental() to return the type of options::tearDownIncremental.
authorTim King <taking@google.com>
Thu, 29 Dec 2016 22:36:36 +0000 (14:36 -0800)
committerTim King <taking@google.com>
Thu, 29 Dec 2016 22:36:36 +0000 (14:36 -0800)
commitbc19309a108f2d914713eebd3055176cab8e81e4
tree31d4bfe7a56220dc424c60d4fd1a1cac2824af5ctree
parent6c43b80514259ee489eba99405f703765b613404commit | diff
Changing getTearDownIncremental() to return the type of options::tearDownIncremental.
src/options/options.h diff | blob | history
src/options/options_public_functions.cpp diff | blob | history