Filter: can claim to be out-of-order when you are not
This commit is contained in:
parent
58a93e2100
commit
1902ba063a
@ -42,7 +42,7 @@ class TLFilter(
|
||||
require (m.supportsPutFull.contains(o.supportsPutFull))
|
||||
require (m.supportsPutPartial.contains(o.supportsPutPartial))
|
||||
require (m.supportsHint.contains(o.supportsHint))
|
||||
require (m.fifoId == o.fifoId) // could relax this, but hard to validate
|
||||
require (!o.fifoId.isDefined || m.fifoId == o.fifoId)
|
||||
}
|
||||
out
|
||||
})})
|
||||
|
Loading…
Reference in New Issue
Block a user