diff options
author | shuvendu <unknown> | 2014-11-07 16:40:29 -0800 |
---|---|---|
committer | shuvendu <unknown> | 2014-11-07 16:40:29 -0800 |
commit | 8bd30420a8c0ee31137b37e288b7ef69e181f3ab (patch) | |
tree | 4a0988960c2a081bab9fbfcd4e9eeb7259cf5731 /Test/README.md | |
parent | 98c24910e7e01d7748930743548431a203e2be24 (diff) |
re-enabling -useUnsatCoreForContractInfer
An example houdini\testUnsatCore.bpl to test out the unsatCore (Currently seems to be not working)
Diffstat (limited to 'Test/README.md')
0 files changed, 0 insertions, 0 deletions