Formatting Contracts7.json

mbaluda · mbaluda · commit 82c30130ba94 · 2023-03-15T01:39:22.000+01:00
diff --git a/rule_packages/c/Contracts7.json b/rule_packages/c/Contracts7.json
@@ -47,7 +47,7 @@
       },
       "queries": [
         {
-          "description": "The right hand operand of a shift operator shall lie in the range zero to one less than the width in bits of the essential type of the left hand operand",
+          "description": "The right hand operand of a shift operator shall lie in the range zero to one less than the width in bits of the essential type of the left hand operand.",
           "kind": "problem",
           "name": "The right operand of a shift shall be smaller then the width in bits of the left operand",
           "precision": "very-high",

Original file line number	Diff line number	Diff line change
`@@ -47,7 +47,7 @@`
`47`	`47`	`},`
`48`	`48`	`"queries": [`
`49`	`49`	`{`
`50`		`- "description": "The right hand operand of a shift operator shall lie in the range zero to one less than the width in bits of the essential type of the left hand operand",`
	`50`	`+ "description": "The right hand operand of a shift operator shall lie in the range zero to one less than the width in bits of the essential type of the left hand operand.",`
`51`	`51`	`"kind": "problem",`
`52`	`52`	`"name": "The right operand of a shift shall be smaller then the width in bits of the left operand",`
`53`	`53`	`"precision": "very-high",`