Never overwrite ARMED with PRUNED

This commit is contained in:
Robert Haschke 2021-11-21 05:53:29 +01:00
parent 9d37495c0b
commit 3648db43ed

View File

@ -83,6 +83,9 @@ bool InterfaceState::Priority::operator<(const InterfaceState::Priority& other)
}
void InterfaceState::updatePriority(const InterfaceState::Priority& priority) {
// Never overwrite ARMED with PRUNED: PRUNED => !ARMED
assert(priority.status() != InterfaceState::Status::PRUNED || priority_.status() != InterfaceState::Status::ARMED);
if (owner()) {
owner()->updatePriority(this, priority);
} else {