projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 24cb86d) | 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>
Fri, 17 May 2013 12:51:36 +0000 (08:51 -0400)
commit5ad796d0ddaa9c6f2ad98d2680babb7776a5f9b0
treee7e21978833558a8f91e18fc543a5f4c72e4386atree
parent24cb86db0716875b14d86af27354e13898899b6ccommit | 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