From b31ae3cdbb909bc7b2bfcd9fc63442d32fe25b78 Mon Sep 17 00:00:00 2001 From: James Cherry Date: Tue, 5 May 2026 17:33:02 -0700 Subject: [PATCH] Search::reportArrivals Signed-off-by: James Cherry --- search/Search.cc | 18 +++++++----------- 1 file changed, 7 insertions(+), 11 deletions(-) diff --git a/search/Search.cc b/search/Search.cc index b4d8f7fe..42309866 100644 --- a/search/Search.cc +++ b/search/Search.cc @@ -2775,23 +2775,19 @@ Search::reportArrivals(Vertex *vertex, bool report_prev = false; std::string prev_str; if (report_prev) { - prev_str = "prev "; Path *prev_path = path->prevPath(); if (prev_path) { - prev_str += prev_path->to_string(this); - prev_str += " "; const Edge *prev_edge = path->prevEdge(this); TimingArc *arc = path->prevArc(this); - prev_str += prev_edge->from(graph_)->to_string(this); - prev_str += " "; - prev_str += arc->fromEdge()->to_string(); - prev_str += " -> "; - prev_str += prev_edge->to(graph_)->to_string(this); - prev_str += " "; - prev_str += arc->toEdge()->to_string(); + prev_str = sta::format("prev {} {} {} -> {} {}", + prev_path->to_string(this), + prev_edge->from(graph_)->to_string(this), + arc->fromEdge()->to_string(), + prev_edge->to(graph_)->to_string(this), + arc->toEdge()->to_string()); } else - prev_str += "NULL"; + prev_str = "prev NULL"; } report_->report(" {} {} {} / {} {}{}", rf->shortName(), path->minMax(this)->to_string(),