projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7c794bd) | patch
[proofs] Alethe: Call Printer (#8408)
authorLachnitt <lachnitt@stanford.edu>
Mon, 28 Mar 2022 19:05:26 +0000 (12:05 -0700)
committerGitHub <noreply@github.com>
Mon, 28 Mar 2022 19:05:26 +0000 (19:05 +0000)
commite3ad186ff419597b49524086d64bc2011246f897
treebf8edbe9a1154cf54798fa47154305217a2b6a58tree
parent7c794bd260cd2d6d2660f3137b79ee23a26106f7commit | diff
[proofs] Alethe: Call Printer (#8408)

The alethe printer was not called on Master.
src/smt/proof_manager.cpp diff | blob | history