{
  "title": "A write lock should not be released when a read lock has been acquired and vice versa",
  "type": "BUG",
  "status": "ready",
  "remediation": {
    "func": "Constant\/Issue",
    "constantCost": "30min"
  },
  "tags": [],
  "defaultSeverity": "Major",
  "ruleSpecification": "RSPEC-7131",
  "sqKey": "S7131",
  "scope": "All",
  "quickfix": "infeasible",
  "code": {
    "impacts": {
      "RELIABILITY": "HIGH"
    },
    "attribute": "LOGICAL"
  }
}
