Update scripts/kani-std-analysis/metrics-data.json

feliperodri · web-flow · commit 65e6f3ee6667 · 2025-01-26T17:02:05.000-05:00
diff --git a/scripts/kani-std-analysis/metrics-data.json b/scripts/kani-std-analysis/metrics-data.json
@@ -27,4 +27,4 @@
       "total_functions_under_contract": 224
     }
   ]
-}
+}

Original file line number	Diff line number	Diff line change
`@@ -27,4 +27,4 @@`
`27`	`27`	`"total_functions_under_contract": 224`
`28`	`28`	`}`
`29`	`29`	`]`
`30`		`-}`
	`30`	`+}`