modelCheckRuleInventoryFile
@get:InputFile
@get:Optional
@get:PathSensitive(value = PathSensitivity.RELATIVE)
Model-check inventory used to render invocation and result counts without reading derived SARIF.
Model-check inventory used to render invocation and result counts without reading derived SARIF.