Adapted specification to rule changes

Eiram · web-flow · commit 3c56f8b9d33f · 2020-10-09T11:17:51.000+02:00
diff --git a/c/properties/coverage-error-call.prp b/c/properties/coverage-error-call.prp
@@ -1,2 +1,2 @@
-COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )
+COVER( init(main()), FQL(COVER EDGES(@CALL(reach_error))) )
 

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`		`-COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )`
	`1`	`+COVER( init(main()), FQL(COVER EDGES(@CALL(reach_error))) )`
`2`	`2`