projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b1ee968) | patch
Add operator<<(RewriteStatus) (#7952)
authorGereon Kremer <gkremer@stanford.edu>
Fri, 14 Jan 2022 19:16:47 +0000 (11:16 -0800)
committerGitHub <noreply@github.com>
Fri, 14 Jan 2022 19:16:47 +0000 (19:16 +0000)
commit96414f1c956dd4e2928fbd3b9f7f7e7af6660f1e
treec8be8b3bf9ab8aec899c3731f3f5fa5a36bcd14ctree
parentb1ee9680aa68b93ab908ca190d65dc7c78026873commit | diff
Add operator<<(RewriteStatus) (#7952)

Adds a streaming operator for RewriteStatus. I found it helpful while refactoring / debugging the rewriter.
src/theory/theory_rewriter.cpp diff | blob | history
src/theory/theory_rewriter.h diff | blob | history