aboutsummaryrefslogtreecommitdiffstats
path: root/common/timing.cc
diff options
context:
space:
mode:
authorEddie Hung <eddieh@ece.ubc.ca>2019-02-07 13:59:39 -0800
committerEddie Hung <eddieh@ece.ubc.ca>2019-02-07 13:59:39 -0800
commit3e182608159c2053428ecd71d0dafb0b550d0a53 (patch)
tree01490644fb72df33acde47d14ce26dd44a57bc3a /common/timing.cc
parent09207cf91ffe586ca3d1df3a965035c60b5b5fa0 (diff)
parentbfc96cc962711a6e93eb0b7ce0dfefb6a41d8c31 (diff)
downloadnextpnr-3e182608159c2053428ecd71d0dafb0b550d0a53.tar.gz
nextpnr-3e182608159c2053428ecd71d0dafb0b550d0a53.tar.bz2
nextpnr-3e182608159c2053428ecd71d0dafb0b550d0a53.zip
Merge remote-tracking branch 'origin/master' into regressions
Diffstat (limited to 'common/timing.cc')
-rw-r--r--common/timing.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/common/timing.cc b/common/timing.cc
index f3cb4306..13f0e07b 100644
--- a/common/timing.cc
+++ b/common/timing.cc
@@ -225,7 +225,7 @@ struct Timing
}
// Sanity check to ensure that all ports where fanins were recorded were indeed visited
- if (!port_fanin.empty()) {
+ if (!port_fanin.empty() && !bool_or_default(ctx->settings, ctx->id("timing/ignoreLoops"), false)) {
for (auto fanin : port_fanin) {
NetInfo *net = fanin.first->net;
if (net != nullptr) {