Skip to content

Add tracing information

Christophe Junke requested to merge cj/wip into master
  • Add traces around push/pop operations in egraph
  • Add traces for set_domain, merge
  • Make sure that open trace spans are closed
  • Add Expr.Abs in list of skipped quantifier triggers

Merge request reports