projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 957b02e) | patch
Fix get-unsat-assumptions output (#2301)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 14 Aug 2018 01:03:54 +0000 (18:03 -0700)
committerGitHub <noreply@github.com>
Tue, 14 Aug 2018 01:03:54 +0000 (18:03 -0700)
commit94e3d283a58684118e06f9a698606e58574fa26f
tree0c9003984f65bf7f16f0a2b6d5cecfd7d531ed0dtree
parent957b02e415f60e725da569f1d7c0e2d1276cb3facommit | diff
Fix get-unsat-assumptions output (#2301)

Fixes #2298. The `get-unsat-assumptions` command was printing the result
with square brackets and commas instead of parentheses and spaces
between the assumptions.
src/smt/command.cpp diff | blob | history
src/util/utility.h diff | blob | history
test/regress/Makefile.tests diff | blob | history
test/regress/regress0/push-pop/bug821-check_sat_assuming.smt2 diff | blob | history
test/regress/regress0/smtlib/get-unsat-assumptions.smt2 [new file with mode: 0644] blob