projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d671eff) | patch
Add missing InferenceIds to toString (#6320)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Fri, 9 Apr 2021 12:41:14 +0000 (14:41 +0200)
committerGitHub <noreply@github.com>
Fri, 9 Apr 2021 12:41:14 +0000 (07:41 -0500)
commitde06ddbed29109ce83b6a2fc0b042fcf64fa6ad4
treed995029b276942b9ac90f09e7e8e04c627e218eftree
parentd671eff2c953acb5c19e5d912aca581babce57dccommit | diff
Add missing InferenceIds to toString (#6320)

This PR adds InferenceIds that were previously missing from the corresponding toString() method.
src/theory/inference_id.cpp diff | blob | history