Merge pull request #1165 from Eiram/master

dbeyer · web-flow · commit 8f0a98b78c5b · 2020-10-09T19:54:15.000+02:00
Adapted specification to rule changes
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`