Merge pull request #3367 from jix/smtlib2-module-fixes
authorJannis Harder <me@jix.one>
Tue, 7 Jun 2022 17:45:47 +0000 (19:45 +0200)
committerGitHub <noreply@github.com>
Tue, 7 Jun 2022 17:45:47 +0000 (19:45 +0200)
commitd9bb10ba5f82d53d884ac3e18471a619d596ee5d
tree868aaa50b1f43b38daa915f141bdada025dfd5d2
parent5f9a97d2342f1d3956f07c88c619bc88b43c8a1f
parentac22f1764d5a9f8dbe70f70b1acf6b7dc65c1ced
Merge pull request #3367 from jix/smtlib2-module-fixes

smt2: emit smtlib2_comb_expr outputs after all inputs