Member predicate Compilation :: normalTermination
Holds if the extractor terminated normally. Terminating with an exit code indicating that an error occurred is considered normal termination, but crashing due to something like a segfault is not.
predicate
normalTermination
(
)