Member predicate Compilation::fileCompiledRecoverableErrors
Holds if the i
th file during this invocation had recoverable extraction errors.
predicate fileCompiledRecoverableErrors(int i)
Holds if the i
th file during this invocation had recoverable extraction errors.
predicate fileCompiledRecoverableErrors(int i)