projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0060de3) | patch
Fix arguments to print callback (#4171)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 30 Mar 2020 15:46:45 +0000 (10:46 -0500)
committerGitHub <noreply@github.com>
Mon, 30 Mar 2020 15:46:45 +0000 (10:46 -0500)
commit49d7b510a992a7a84594a11a4aeefcbd3fc8d257
tree2c89f6cc19789a3d5b326e7d1b712bf677e67ec9tree
parent0060de329173c0b75c02778d003371f59cc11effcommit | diff
Fix arguments to print callback (#4171)

The method applyParseOp may modify the argument vector. In the case of the sygus V1 parser, this argument vector was then being used to set up a print callback, leading to incorrect printing and failures.

Work towards having a working V1 -> V2 conversion for the release.

FYI @abdoo8080
src/parser/smt2/smt2.cpp diff | blob | history