diff options
author | Pantazis Deligiannis <pdeligia@me.com> | 2013-07-15 14:04:50 +0100 |
---|---|---|
committer | Pantazis Deligiannis <pdeligia@me.com> | 2013-07-15 14:04:50 +0100 |
commit | cf4543349ed64553d9d5a07a8d238a80a913eebb (patch) | |
tree | 974ba372fe73e268e4d85d9aa838e55546425fc3 /Source/Model | |
parent | 2f07af6ca66175d492623d2b46496da3dd0c3c8c (diff) |
fix: can now setup CVC4 logic properly, default is ALL_SUPPORTED, other logics can be set with the previously existing command e.g. /proverOpt:LOGIC=QF_ALL_SUPPORTED
Diffstat (limited to 'Source/Model')
0 files changed, 0 insertions, 0 deletions