Merge remote-tracking branch 'origin/GP-3312_Dan_fixLifespanIssueInEmulation'

This commit is contained in:
Ryan Kurtz 2023-04-24 06:47:55 -04:00
commit ebd11da547

View file

@ -376,8 +376,11 @@ public abstract class AbstractBaseDBTraceDefinedUnitsView<T extends AbstractDBTr
if (extending == null) {
toScan = span;
}
else if (span.lmax() <= extending.getEndSnap()) {
// we're shrinking or staying the same, so not possible to collide with others
return span;
}
else {
assert span.lmax() > extending.getEndSnap();
toScan = span.withMin(extending.getEndSnap() + 1);
}
T truncateBy =