projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d4fb702) | patch
Fixed "success" response to (push N) / (pop N) with N > 1.
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 17 May 2013 12:51:36 +0000 (08:51 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Mon, 20 May 2013 20:53:50 +0000 (16:53 -0400)
commit3a34a4827c4188db9bd0274b34d4188aee00fff2
tree4f4819622c5f1bdb79c5f06b96be562da58afa37tree
parentd4fb7022845f3ec595cff3fb1b6324e2364d25d3commit | diff
Fixed "success" response to (push N) / (pop N) with N > 1.

Thanks to David Cok for reporting this issue.
src/parser/smt2/Smt2.g diff | blob | history