diff options
| author | Alex Ozdemir <aozdemir@hmc.edu> | 2018-11-19 21:46:29 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-11-19 21:46:29 -0800 |
| commit | 176b119d86fe34878a4c9d4d7ee8f982db311b39 (patch) | |
| tree | 7ae98acb8da4ed60fa13187fbbfafb83bad1725d /test/regress/regress1/arith/real2int-test.smt2 | |
| parent | 2afbc4bbcccf9f91439809ee0026027a432a3061 (diff) | |
Change lemma proof step storage & iterators (#2712)
Proof steps were in a std::list, which is a linked list, but really, we
only needed a stack, so I changed it to a vector, because LL's are
usually slower.
Also added an iterator for the proof steps, and << implementations
Diffstat (limited to 'test/regress/regress1/arith/real2int-test.smt2')
0 files changed, 0 insertions, 0 deletions