diff options
| author | gatecat <gatecat@ds0.me> | 2021-09-02 17:08:54 +0100 |
|---|---|---|
| committer | gatecat <gatecat@ds0.me> | 2021-09-02 17:08:54 +0100 |
| commit | 01b51fb71529d10344db6a515ea7e58793dcefa9 (patch) | |
| tree | 03d067f8544ab527324719bb1f2126bd58c13840 /common | |
| parent | 0c40bed4250e3b1525a202cba7a905ba9537bec8 (diff) | |
| download | nextpnr-01b51fb71529d10344db6a515ea7e58793dcefa9.tar.gz nextpnr-01b51fb71529d10344db6a515ea7e58793dcefa9.tar.bz2 nextpnr-01b51fb71529d10344db6a515ea7e58793dcefa9.zip | |
router2: Fix explored count
Signed-off-by: gatecat <gatecat@ds0.me>
Diffstat (limited to 'common')
| -rw-r--r-- | common/router2.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/common/router2.cc b/common/router2.cc index 878b615e..cb8e875f 100644 --- a/common/router2.cc +++ b/common/router2.cc @@ -687,6 +687,7 @@ struct Router2 // Explore forwards auto curr = t.fwd_queue.top(); t.fwd_queue.pop(); + ++explored; if (was_visited_bwd(curr.wire)) { // Meet in the middle; done midpoint_wire = curr.wire; @@ -729,6 +730,7 @@ struct Router2 // Explore backwards auto curr = t.bwd_queue.top(); t.bwd_queue.pop(); + ++explored; if (was_visited_fwd(curr.wire)) { // Meet in the middle; done midpoint_wire = curr.wire; |