std::vector<std::string> disabled_checks;
    for (auto attr : op.getDisabledChecks().getAsRange<StringAttr>()) {
      disabled_checks.push_back(attr.getValue().str());
    }
    std::vector<std::string> platforms;
    for (auto attr : op.getPlatforms().getAsRange<StringAttr>()) {
      platforms.push_back(attr.getValue().str());
    }