projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ab0f03) | patch
internal variables (skolems) aren't printed as part of the model
authorMorgan Deters <mdeters@gmail.com>
Fri, 30 Nov 2012 21:43:11 +0000 (21:43 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 30 Nov 2012 21:43:11 +0000 (21:43 +0000)
commitb59646b043cd6d33b48e012cd47dc920d309a002
treebf09d0a98ce91060fbc449fd35e9298a02d4d47dtree
parent5ab0f03e947ce6b81df2b30a48b300b72100100ecommit | diff
internal variables (skolems) aren't printed as part of the model

(this commit was certified error- and warning-free by the test-and-commit script.)
src/printer/cvc/cvc_printer.cpp diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history