diff options
author | Rustan Leino <unknown> | 2013-08-02 19:55:08 -0700 |
---|---|---|
committer | Rustan Leino <unknown> | 2013-08-02 19:55:08 -0700 |
commit | d5a32ffd75e5723a5f2a6f9d6a5b50b3e692a0ff (patch) | |
tree | 515467998879453d6d49e02136bfaa55537d7179 /Source/Predication | |
parent | a8d8cda9bc77e63c2bf4e14b5b5928ce43e75547 (diff) |
Reverted change to use MODEL_ON_FINAL_CHECK, which seems to cause Z3 unexpectedly to output model information
Diffstat (limited to 'Source/Predication')
0 files changed, 0 insertions, 0 deletions