(self, op: FloorMod)
| 178 | self.log.pop_scope() |
| 179 | |
| 180 | def visit_floormod_(self, op: FloorMod) -> None: |
| 181 | self.log.add("FloorMod") |
| 182 | self.log.push_scope() |
| 183 | self.visit_expr(op.a) |
| 184 | self.visit_expr(op.b) |
| 185 | self.log.pop_scope() |
| 186 | |
| 187 | def visit_min_(self, op: Min) -> None: |
| 188 | self.log.add("Min") |
no test coverage detected