Member predicate Compilation :: fileCompiledSuccessful
Holds if the i
th file during this invocation was successfully extracted.
predicate
fileCompiledSuccessful
(
int
i
)