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/ModelViewer | |
| 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/ModelViewer')
0 files changed, 0 insertions, 0 deletions