projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c459e0) | patch
[proof] [dot] Fix comments on dot printer (#6983)
authorDiego Della Rocca de Camargos <diegodellarocc@gmail.com>
Wed, 4 Aug 2021 21:45:29 +0000 (18:45 -0300)
committerGitHub <noreply@github.com>
Wed, 4 Aug 2021 21:45:29 +0000 (21:45 +0000)
commit25b0456328224186ec699b6dc10d49c077dfb8a2
treee5cc17a87de5ddda8d9352bfadbad57cf5d67331tree
parent9c459e04f32f243a58d5afb6687bd8c5f423ac93commit | diff
[proof] [dot] Fix comments on dot printer (#6983)

This PR fixes the escaped characters in the dot printer. The output is now a valid DOT.

Signed-off-by: Diego Della Rocca de Camargos diegodellarocc@gmail.com
src/proof/dot/dot_printer.cpp diff | blob | history