diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-09-06 02:38:39 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-09-06 02:38:39 +0000 |
commit | 84a3411720a59410c7dff7bc8ec9210638b7665b (patch) | |
tree | 96027609ae62ff12a37aee15762e2ea245a07216 /test/regress/regress0/logops.04.cvc | |
parent | bf0912f64da23092716fa187df607e50eba92984 (diff) |
Remove SmtEngine::getStackLevel(), which exposed implementation details and was only used by the compatibility layer.
Make SmtEngine::internalPop() delay popping. This fixes a bug in model generation.
Diffstat (limited to 'test/regress/regress0/logops.04.cvc')
0 files changed, 0 insertions, 0 deletions