projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3745c4) | patch
Rename equality engine trace to print E-graph (#8780)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Mon, 16 May 2022 21:07:59 +0000 (18:07 -0300)
committerGitHub <noreply@github.com>
Mon, 16 May 2022 21:07:59 +0000 (18:07 -0300)
commite39bf3a391cdd92412bb109419ce5ca66fd3a0f0
treedf01ffcdf6240243748521ae3cd4b59e5422fc74tree
parenta3745c4b50c41e5a1ebd632c3a9e768c9bf8d67fcommit | diff
Rename equality engine trace to print E-graph (#8780)

The current trace depends on `-t equality::internal`, which is pointless and
leads to confusion when one inevitably forgets this when checking which trace to
use to print the E-graph and the output does not contain it.
src/theory/uf/equality_engine.cpp diff | blob | history