diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-06-01 20:31:24 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-06-01 20:31:24 +0000 |
commit | 468c5bc5d8b63ec6818813270225e09383dd79ff (patch) | |
tree | adf53aa31607de77fd240b70b114a3396dfae4d8 /test/regress/regress0/unconstrained | |
parent | e0ea9a22721a332be2a2354846ffdf5f72c6a6de (diff) |
add a global user-context push/pop in smt engine, just like clark's addition the other day of a push/pop of the sat context
Diffstat (limited to 'test/regress/regress0/unconstrained')
0 files changed, 0 insertions, 0 deletions