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