Predicate consistencyIssue
Holds if there is a consistency-issue at location
with description msg
for configuration conf
.
The consistency issue an unexpected false positive/negative.
Or that false positive/negative was expected, and none were found.
Import path
import utils.test.ConsistencyChecking
predicate consistencyIssue(string location, string msg, string commentText, Conf conf)