aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/rtlil.cc
diff options
context:
space:
mode:
Diffstat (limited to 'kernel/rtlil.cc')
-rw-r--r--kernel/rtlil.cc2
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/rtlil.cc b/kernel/rtlil.cc
index 4a0ac60f0..ca8e9b6d8 100644
--- a/kernel/rtlil.cc
+++ b/kernel/rtlil.cc
@@ -1947,6 +1947,7 @@ bool RTLIL::SigSpec::operator <(const RTLIL::SigSpec &other) const
return chunks_[i] < other.chunks_[i];
}
+ cover("kernel.rtlil.sigspec.comp_lt.equal");
return false;
}
@@ -1978,6 +1979,7 @@ bool RTLIL::SigSpec::operator ==(const RTLIL::SigSpec &other) const
return false;
}
+ cover("kernel.rtlil.sigspec.comp_eq.equal");
return true;
}