projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 299b9e0) | patch
[proof] [dot] Print let map (of terms in proof) as part of dot proof (#6853)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Thu, 8 Jul 2021 13:44:05 +0000 (10:44 -0300)
committerGitHub <noreply@github.com>
Thu, 8 Jul 2021 13:44:05 +0000 (08:44 -0500)
commitbf532867161ca49996dc7182128c50339e8c0563
tree213b6ba7db8a83370c1a190a3c164ca2eac8332dtree
parent299b9e0cee11e2b3da1aad5ffbd2f6a8b949d3fecommit | diff
[proof] [dot] Print let map (of terms in proof) as part of dot proof (#6853)

The let map is printed as JSON-like dictionary via a comment of the dot output.
src/proof/dot/dot_printer.cpp diff | blob | history
src/proof/dot/dot_printer.h diff | blob | history