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