diff --git a/src/V3Trace.cpp b/src/V3Trace.cpp index 8e0e4e3ac..6b0761040 100644 --- a/src/V3Trace.cpp +++ b/src/V3Trace.cpp @@ -755,6 +755,7 @@ class TraceVisitor final : public VNVisitor { void createTraceFunctions() { // Detect and remove duplicate values detectDuplicates(); + m_graph.removeRedundantEdgesMax(&V3GraphEdge::followAlwaysTrue); // Simplify & optimize the graph if (dumpGraphLevel() >= 6) m_graph.dumpDotFilePrefixed("trace_pre");