projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8e3996) | patch
Add support for special tag collectors (#7562)
authorGereon Kremer <nafur42@gmail.com>
Thu, 4 Nov 2021 15:58:24 +0000 (08:58 -0700)
committerGitHub <noreply@github.com>
Thu, 4 Nov 2021 15:58:24 +0000 (15:58 +0000)
commitaaf0877baf437395f915b8a12457a72b77fc39ce
treeb729941ebb6865fbd29bfc3527a7e36146f358b2tree
parentd8e3996674dd518555bfc432bc0414c66475e538commit | diff
Add support for special tag collectors (#7562)

This PR makes the collection of trace and debug tags more flexible by allowing for "special tag collectors". They can be used to inject tags that are not used as constant strings, but only assembled dynamically at runtime.
One example is the set of assertions::pre-X and assertions::post-X tags. They are currently handled by Dump, and will be migrated to Trace.
src/base/collect_tags.py diff | blob | history