Closed Kwasniok closed 3 years ago
is:
IntersectionInfo.miss_reason() -> Optional[MissReason]
should be:
IntersectionInfo.miss_reason() -> MissReason # precondition: info.misses() == True # raises RuntimeError
5a929aaf89cd5618e8001706ffe21f7138ec95c2
is:
should be: