| 464 | } |
| 465 | |
| 466 | string DefaultAttrStr(const OpDef::AttrDef& attr) { |
| 467 | if (!attr.has_default_value()) return "no default"; |
| 468 | return SummarizeAttrValue(attr.default_value()); |
| 469 | } |
| 470 | |
| 471 | bool HigherMinimum(const OpDef::AttrDef& old_attr, |
| 472 | const OpDef::AttrDef& new_attr) { |
no test coverage detected